Towards Formal Verification of Freeway Traffic Control

Stefan Mitsch, Sarah M. Loos, André Platzer. Towards Formal Verification of Freeway Traffic Control. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 171-180, IEEE, 2012. [doi]

Abstract

Abstract is missing.