Synthesizing and verifying controllers for multi-lane traffic maneuvers



Bochmann, Gregor V, Hilscher, Martin, Linker, Sven ORCID: 0000-0003-2913-7943 and Olderog, Ernst-Ruediger
(2017) Synthesizing and verifying controllers for multi-lane traffic maneuvers. FORMAL ASPECTS OF COMPUTING, 29 (4). 583 - 600.

[img] Text
faoc-synthesis.pdf - Accepted Version

Download (320kB)
Item Type: Article
Uncontrolled Keywords: Multi-lane highway traffic, Lane-change maneuver, Collision freedom, Controller synthesis, Interleaving and synchronous concurrency, Assumption-guarantee paradigm
Depositing User: Symplectic Admin
Date Deposited: 21 Nov 2017 11:25
Last Modified: 10 Jan 2022 23:10
DOI: 10.1007/s00165-017-0424-4
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3007719