%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 }