From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

E. Vin, S. Kashiwa, M. Rhea, D. Fremont, E. Kim, T. Dreossi, S. Ghosh, X. Yue, A. Sangiovanni-Vincentelli, и S. Seshia. CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 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.

Vin Chen

Daniel de Vin

Curt Erich

Friederike Erichsen-Wendt

Claus Erichsen

Другие публикации лиц с тем же именем

A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings.S. Rangarajan, Y. Lee, V. Johnson, K. Schorger, H. Lee, D. Nguyen, M. Behfar, E. Jansson, J. Rekilä, J. Hiltunen и 2 other автор(ы). PerCom Workshops, стр. 42-45. IEEE, (2022)An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management.S. Mansfield, E. Vin, и K. Obraczka. DCOSS, стр. 66-68. IEEE, (2021)Symbiotic CPS Design-Space Exploration through Iterated Optimization.S. Yu, I. Incer, V. Prabhu, A. Chattoraj, E. Vin, D. Fremont, A. Mehta, A. Sangiovanni-Vincentelli, S. Sastry, и S. Seshia. CPS-IoT Week Workshops, стр. 92-99. ACM, (2023)Tackling simulation inconsistencies in the robot design process by selective empirical evaluation.A. Chattoraj, E. Vin, Y. Tanaka, J. Pantig, D. Fremont, и A. Mehta. CPS-IoT Week Workshops, стр. 105-113. ACM, (2023)3D Environment Modeling for Falsification and Beyond with Scenic 3.0.E. Vin, S. Kashiwa, M. Rhea, D. Fremont, E. Kim, T. Dreossi, S. Ghosh, X. Yue, A. Sangiovanni-Vincentelli, и S. Seshia. CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2023)Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.A. Gittis, E. Vin, и D. Fremont. CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 526-546. Springer, (2022)An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management.S. Mansfield, E. Vin, и K. Obraczka. ICDH, стр. 91-102. IEEE, (2021)

BibSonomy

Disambiguation