Towards Formal Verification of Freeway Traffic Control

By Stefan Mitsch, Sarah M. Loos, André Platzer. 2012

59 citations recorded by the source corpus.

Subfields: Automotive Engineering, Control and Systems Engineering, Electrical and Electronic Engineering