Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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). 583 - 600.

This list was generated on Sat Oct 30 04:46:42 2021 BST.