Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
- Weitere Titel
-
Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2019
- Schlagwort
-
Autonomous vehicles
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2019
- Urheber
-
Rizaldi, Albert
- Beteiligte Personen und Organisationen
-
Althoff, Matthias
Nipkow, Tobias
Althoff, Matthias
- URN
-
urn:nbn:de:bvb:91-diss-20191218-1484146-1-4
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Rizaldi, Albert
- Althoff, Matthias
- Nipkow, Tobias
- Universitätsbibliothek der TU München
Entstanden
- 2019
Ähnliche Objekte (12)
Provably Safe Motion Planning for Autonomous Vehicles Through Online Verification
Autonomous robot vehicles
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Autonomous vehicles and autonomous driving in freight transport
Landmark-based Localization for Autonomous Vehicles
Omnidirectional Stereo Vision for Autonomous Vehicles
Speed control of autonomous amphibious vehicles
Capability-Based Routes for Autonomous Vehicles
Visual-Inertial Navigation for Autonomous Vehicles
Intelligent autonomous vehicles : IFAC workshop, Southampton, UK, 18 - 21 April 1993 ; [IFAC Workshop on Intelligent Autonomous Vehicles]
Probabilistic long-term prediction for autonomous vehicles
Encapsulated trajectory tracking control for autonomous vehicles
Provably Safe Motion Planning for Autonomous Vehicles Through Online Verification
Autonomous robot vehicles
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Autonomous vehicles and autonomous driving in freight transport
Landmark-based Localization for Autonomous Vehicles
Omnidirectional Stereo Vision for Autonomous Vehicles
Speed control of autonomous amphibious vehicles
Capability-Based Routes for Autonomous Vehicles
Visual-Inertial Navigation for Autonomous Vehicles
Intelligent autonomous vehicles : IFAC workshop, Southampton, UK, 18 - 21 April 1993 ; [IFAC Workshop on Intelligent Autonomous Vehicles]
Probabilistic long-term prediction for autonomous vehicles
Encapsulated trajectory tracking control for autonomous vehicles
Provably Safe Motion Planning for Autonomous Vehicles Through Online Verification
Autonomous robot vehicles
Specification and seamless verification of embedded real-time systems : FOCUS on Isabelle
Autonomous vehicles and autonomous driving in freight transport
Landmark-based Localization for Autonomous Vehicles
Omnidirectional Stereo Vision for Autonomous Vehicles
Speed control of autonomous amphibious vehicles
Capability-Based Routes for Autonomous Vehicles
Visual-Inertial Navigation for Autonomous Vehicles
Intelligent autonomous vehicles : IFAC workshop, Southampton, UK, 18 - 21 April 1993 ; [IFAC Workshop on Intelligent Autonomous Vehicles]
Probabilistic long-term prediction for autonomous vehicles