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