Author of the publication

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

, , , , , , , , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 253-265. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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