Scenic: a language for scenario specification and scene generation-Reference-Cited by-同舟云学术

Scenic: a language for scenario specification and scene generation

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Fremont Daniel J.¹,Dreossi Tommaso¹,Ghosh Shromona¹,Yue Xiangyu¹,Sangiovanni-Vincentelli Alberto L.¹,Seshia Sanjit A.¹

Affiliation:

1. University of California at Berkeley, USA

Funder

National Science Foundation

Semiconductor Research Corporation

Defense Advanced Research Projects Agency

Berkeley Deep Drive

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3314221.3314633

Reference47 articles.

1. Dario Amodei Chris Olah Jacob Steinhardt Paul F. Christiano John Schulman and Dan Mané. 2016. Concrete Problems in AI Safety. CoRR abs/1606.06565 (2016). arXiv:1606.06565. Dario Amodei Chris Olah Jacob Steinhardt Paul F. Christiano John Schulman and Dan Mané. 2016. Concrete Problems in AI Safety. CoRR abs/1606.06565 (2016). arXiv:1606.06565.

2. A survey of cross-validation procedures for model selection

3. Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker and Alexander Pretschner. 2005. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science). Springer-Verlag New York Inc. Secaucus NJ USA. Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker and Alexander Pretschner. 2005. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) . Springer-Verlag New York Inc. Secaucus NJ USA.

4. Bayesian inference using data flow analysis

Cited by 164 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State-of-the-art authentication and verification schemes in VANETs: A survey;Vehicular Communications;2024-10

2. Composable and executable scenarios for simulation-based testing of mobile robots;Frontiers in Robotics and AI;2024-08-02

3. A Driver-Vehicle Model for ADS Scenario-Based Testing;IEEE Transactions on Intelligent Transportation Systems;2024-08

4. Integrating scenario- and contract-based verification for automated vessels;Journal of Marine Science and Technology;2024-06-27

5. CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02