Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Scenic: Language-Based Scene Generation., , , , , und . CoRR, (2018)Algorithmic Improvisation.. University of California, Berkeley, USA, (2019)Guest Editorial: Special issue on robust machine learning., , , , , und . Mach. Learn., 112 (8): 2787-2789 (2023)VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems., , , , , , und . CoRR, (2019)A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving., , , , , , und . CoRR, (2020)Scenic: a language for scenario specification and scene generation., , , , , und . PLDI, Seite 63-78. ACM, (2019)Entropy-Guided Control Improvisation., , , und . Robotics: Science and Systems, (2021)Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World., , , , , , , , , und . ITSC, Seite 1-8. IEEE, (2020)Formal Specification for Deep Neural Networks., , , , , , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2018)Addressing the IEEE AV Test Challenge with Scenic and VerifAI., , , , , , , und . AITest, Seite 136-142. IEEE, (2021)