Autor der Publikation

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

, , , , , , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 253-265. Springer, (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

A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings., , , , , , , , , und 2 andere Autor(en). PerCom Workshops, Seite 42-45. IEEE, (2022)An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management., , und . DCOSS, Seite 66-68. IEEE, (2021)Tackling simulation inconsistencies in the robot design process by selective empirical evaluation., , , , , und . CPS-IoT Week Workshops, Seite 105-113. ACM, (2023)Symbiotic CPS Design-Space Exploration through Iterated Optimization., , , , , , , , , und . CPS-IoT Week Workshops, Seite 92-99. ACM, (2023)Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation., , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 526-546. Springer, (2022)3D Environment Modeling for Falsification and Beyond with Scenic 3.0., , , , , , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 253-265. Springer, (2023)An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management., , und . ICDH, Seite 91-102. IEEE, (2021)