Videos of Simulations for Paper "Uppaal Stratego for Intelligent Traffic Lights"

All the videos are of the MAX scenario, as for the other two scenarios the videos are very simiair.

• Uppaal Stratego Controller: Uppaal stratego
• Induction Loop Controller: Loop
• Static Controller: Static