Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL
2019
1 Online-Ressource
Theses
Electronic Resource
English
DDC: | 629.2 |
Formal specification and verification of Ada software
AIAA | 1991
|Formal specification and verification of Ada software
NTRS | 1991
|SYSTEMS AND METHODS FOR FORMAL VERIFICATION OF CORNER CASES FOR AUTONOMOUS VEHICLES
European Patent Office | 2025
|