Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL)
A. Rizaldi. Technical University of Munich, Germany, (2020)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/de/Rizaldi20
%A Rizaldi, Albert
%D 2020
%K dblp
%T Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL)
@phdthesis{phd/de/Rizaldi20,
added-at = {2023-10-20T00:00:00.000+0200},
author = {Rizaldi, Albert},
biburl = {https://www.bibsonomy.org/bibtex/2d7a0e00c85123f110f8af6e97e2b8185/dblp},
ee = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20191218-1484146-1-4},
interhash = {06dc25aafcd930f15b7767142e0810eb},
intrahash = {d7a0e00c85123f110f8af6e97e2b8185},
keywords = {dblp},
school = {Technical University of Munich, Germany},
timestamp = {2024-04-09T09:08:59.000+0200},
title = {Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL)},
year = 2020
}