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
NTRS | 1991
|Formal specification and verification of Ada software
AIAA | 1991
|SAE Technical Papers | 2023
|Anytime Safety Verification of Autonomous Vehicles
IEEE | 2018
|