-
AQUA
-
Teaching
-
Student Projects (PG)
ACC++ Domänenspezifische Sprachen für Autonomes Fahren
assistance systems through a combination of simulation and runtime monitoring. In ISoLA 2016, Part II, pages 672-687, 2016. https://www.researchgate.net/publication/308894177_Assuring_the_Safety_of_Advance …