Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
2023
31 pages
Report
No indication
English
Provably-Correct and Comfortable Adaptive Cruise Control
IEEE | 2021
|Provably correct reactive control from natural language
British Library Online Contents | 2015
|Provably Correct Software: Don't Leave Earth Without It
AIAA | 2023
|