Autor der Publikation

Tackling simulation inconsistencies in the robot design process by selective empirical evaluation.

, , , , , und . CPS-IoT Week Workshops, Seite 105-113. ACM, (2023)

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

Algorithmic Improvisation.. University of California, Berkeley, USA, (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)A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving., , , , , , und . CoRR, (2020)Scenic: Language-Based Scene Generation., , , , , und . CoRR, (2018)Formal Specification for Deep Neural Networks., , , , , , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 20-34. Springer, (2018)Scenic: a language for scenario specification and scene generation., , , , , und . PLDI, Seite 63-78. ACM, (2019)On the Hardness of SAT with Community Structure., , und . SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 141-159. Springer, (2016)Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance., , , und . RV, Volume 12974 von Lecture Notes in Computer Science, Seite 311-330. Springer, (2021)Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI., , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 122-134. Springer, (2020)