Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios

Algorithm 2

Pseudocode of DETL.

Input: A scenario instance of a given city

Output: Best found solution encoding a cycle program

()  ← initializePopulation()

() while do

() for each individual do

()   // differential mutation and crossover as in DE/rand/1

()   // Mid-Thread quantisation: adaptation to cycle programs encoding

()   // solution evaluation by micro-simulation on scenario instance

()  ← // differential selection of new vector if better

(8) end for

() end while