Towards Formal Verification of Freeway Traffic Control.

Stefan Mitsch Sarah M. Loos André Platzer

Published in: ICCPS (2012)

Keyphrases

formal verification
traffic control
traffic light
traffic management
urban traffic
model checking
model checker
traffic flow
network flow
symbolic model checking
bounded model checking
network management
automated verification
dynamic programming