Media type: E-Book Title: Synthesizing and verifying controllers for multi-lane traffic maneuvers Contributor: Bochmann, Gregor von [VerfasserIn]; Hilscher, Martin [VerfasserIn]; Linker, Sven [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn] imprint: Oldenburg: Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Oktober 2015 Published in: Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme: Reports of SFB/TR 14 AVACS ; 109 Extent: 1 Online-Ressource (22 Seiten); Diagramme Language: English Origination: Footnote: Access State: Open Access