Scenic: A Language for Scenario Specification and Scene Generation

25 September 2018

Alberto L. Sangiovanni-Vincentelli

S. Seshia

ArXiv PDF HTML

Papers citing "Scenic: A Language for Scenario Specification and Scene Generation"

35 / 35 papers shown

Title
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments Victoria Tuck Hardik Parwana Pei-Wei Chen Georgios Fainekos Bardh Hoxha Hideki Okamoto S. Shankar Sastry S. Seshia 25 0 0 21 Apr 2025
On Scenario Formalisms for Automated Driving Christian Neurohr Lukas Westhofen Tjark Koopmann Eike Möhlmann Eckard Böde Axel Hahn 26 0 0 07 Apr 2025
AccidentSim: Generating Physically Realistic Vehicle Collision Videos from Real-World Accident Reports Xiaotian Zhang Qian Zhang Longfei Han Qiang Qu Xiaoming Chen VGen 67 0 0 26 Mar 2025
Autoware.Flex: Human-Instructed Dynamically Reconfigurable Autonomous Driving Systems Ziwei Song Mingsong Lv Tianchi Ren Chun Jason Xue Jen-Ming Wu Nan Guan 80 0 0 17 Feb 2025
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events Yan Miao Georgios Fainekos Bardh Hoxha Hideki Okamoto Danil Prokhorov Sayan Mitra 79 1 0 28 Jan 2025
Enabling Adaptive Agent Training in Open-Ended Simulators by Targeting Diversity Robby Costales Stefanos Nikolaidis AI4CE 31 0 0 07 Nov 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia P. Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 81 3 0 01 Nov 2024
Realistic Extreme Behavior Generation for Improved AV Testing Robert Dyro Matthew Foutter Ruolin Li L. D. Lillo Edward Schmerling Xilin Zhou Marco Pavone AAML 33 1 0 16 Sep 2024
Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy Hambisa Keno N. Pioch Christopher Guagliano Timothy H. Chung 24 1 0 10 Sep 2024
ROBUST: 221 Bugs in the Robot Operating System C. Timperley G. V. D. Hoorn André Santos Harshavardhan Deshpande Andrzej Wasowski 21 4 0 04 Apr 2024
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving Axel Brunnbauer Luigi Berducci P. Priller D. Ničković Radu Grosu 47 1 0 26 Mar 2024
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad Yuanfei Lin Michael Ratzel Matthias Althoff 23 1 0 17 May 2023
Preemptively Pruning Clever-Hans Strategies in Deep Neural Networks Lorenz Linhardt Klaus-Robert Muller G. Montavon AAML 26 7 0 12 Apr 2023
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations Osama Maqbool J. Roßmann AI4CE 28 0 0 03 Jan 2023
Safety Analysis of Autonomous Driving Systems Based on Model Learning Renjue Li Tianhang Qin Pengfei Yang Cheng-Chao Huang Youcheng Sun Lijun Zhang 18 1 0 23 Nov 2022
TrafficGen: Learning to Generate Diverse and Realistic Traffic Scenarios Lan Feng Quanyi Li Zhenghao Peng Shuhan Tan Bolei Zhou 33 82 0 12 Oct 2022
ECSAS: Exploring Critical Scenarios from Action Sequence in Autonomous Driving Shuting Kang Heng Guo Lijun Zhang Guangzhen Liu Yunzhi Xue Yanjun Wu 19 5 0 21 Sep 2022
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA Shreyas Ramakrishna Baiting Luo Christopher B. Kuhn G. Karsai Abhishek Dubey AAML 26 17 0 19 Jul 2022
Deep Surrogate Assisted Generation of Environments Varun Bhatt Bryon Tjanaka Matthew C. Fontaine Stefanos Nikolaidis 48 35 0 09 Jun 2022
Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification Pasquale Antonante Heath Nilsen Luca Carlone 44 24 0 22 May 2022
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing Lina Marsso Radu Mateescu L. Muller Wendelin Serwe 13 2 0 18 Mar 2022
Toward Unsupervised Test Scenario Extraction for Automated Driving Systems from Urban Naturalistic Road Traffic Data N. Weber Christoph Thiem U. Konigorski 22 2 0 14 Feb 2022
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation Francis Indaheng Edward Kim Kesav Viswanadha Jay Shenoy Jinkyu Kim Daniel J. Fremont S. Seshia 28 9 0 28 Oct 2021
Efficient Out-of-Distribution Detection Using Latent Space of $β$ -VAE for Cyber-Physical Systems Shreyas Ramakrishna Zahra Rahiminasab G. Karsai Arvind Easwaran Abhishek Dubey OODD 19 27 0 26 Aug 2021
GzScenic: Automatic Scene Generation for Gazebo Simulator Afsoon Afzal Claire Le Goues C. Timperley 19 4 0 17 Apr 2021
Generating and Characterizing Scenarios for Safety Testing of Autonomous Vehicles Zahra Ghodsi S. Hari I. Frosio Timothy Tsai Alejandro J. Troccoli S. Keckler S. Garg Anima Anandkumar 27 40 0 12 Mar 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 14 0 0 08 Mar 2021
Monitoring and Diagnosability of Perception Systems Pasquale Antonante David I. Spivak Luca Carlone 6 31 0 11 Nov 2020
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 27 97 0 13 Oct 2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI Daniel J. Fremont Johnathan Chiu D. Margineantu Denis Osipychev S. Seshia 23 53 0 14 May 2020
LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving Guodong Rong B. Shin Hadi Tabatabaee Q. Lu Steve Lemke ... Eric Sterner Keunhae Ushiroda Michael Reyes Dmitry Zelenkovsky Seonman Kim 12 386 0 07 May 2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules Mohammad Hekmatnejad Bardh Hoxha Georgios Fainekos 27 16 0 25 Apr 2020
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 19 90 0 19 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016