A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Formal Methods in Computer-Aided Design (FMCAD 2023) ; 2023 ; Ames, IA, US
Miscellaneous
No indication
English
Provably-Correct and Comfortable Adaptive Cruise Control
IEEE | 2021
|Provably correct reactive control from natural language
British Library Online Contents | 2015
|