From post

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

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)

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.

Nathalie Frémont

Daniel J Schad

Daniel J Guhr

Daniel J Alfsmann

Daniel J Schmidt

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

Scenic: a language for scenario specification and scene generation.D. Fremont, T. Dreossi, S. Ghosh, X. Yue, A. Sangiovanni-Vincentelli, и S. Seshia. PLDI, стр. 63-78. ACM, (2019)Algorithmic Improvisation.D. Fremont. University of California, Berkeley, USA, (2019)A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving.J. Shenoy, E. Kim, X. Yue, T. Park, D. Fremont, A. Sangiovanni-Vincentelli, и S. Seshia. CoRR, (2020)Entropy-Guided Control Improvisation.M. Vazquez-Chanlatte, S. Junges, D. Fremont, и S. Seshia. Robotics: Science and Systems, (2021)Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.D. Fremont, E. Kim, Y. Pant, S. Seshia, A. Acharya, X. Bruso, P. Wells, S. Lemke, Q. Lu, и S. Mehta. ITSC, стр. 1-8. IEEE, (2020)Formal Specification for Deep Neural Networks.S. Seshia, A. Desai, T. Dreossi, D. Fremont, S. Ghosh, E. Kim, S. Shivakumar, M. Vazquez-Chanlatte, и X. Yue. ATVA, том 11138 из Lecture Notes in Computer Science, стр. 20-34. Springer, (2018)Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.H. Torfah, S. Junges, D. Fremont, и S. Seshia. RV, том 12974 из Lecture Notes in Computer Science, стр. 311-330. Springer, (2021)Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.E. Kim, J. Shenoy, S. Junges, D. Fremont, A. Sangiovanni-Vincentelli, и S. Seshia. ICCPS, стр. 34-45. IEEE, (2022)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)

BibSonomy

Disambiguation