Provably correct reactive control from natural language
AUTONOMOUS ROBOTS ; 38 , 1 ; 89-105
2015-01-01
17 pages
Aufsatz (Zeitschrift)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Provably-Correct and Comfortable Adaptive Cruise Control
IEEE | 2021
|Provably Correct Software: Don't Leave Earth Without It
AIAA | 2023
|Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Springer Verlag | 2018
|