 | Up a level |
Number of items: 1.
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).
pp. 583-600.