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"

28 / 28 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 20 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 21 0 0 07 Apr 2025
AccidentSim: Generating Physically Realistic Vehicle Collision Videos from Real-World Accident Reports X. Zhang Qian Zhang Longfei Han Qiang Qu Xiaoming Chen VGen 62 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 77 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 26 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 77 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 28 1 0 16 Sep 2024
Simulation-based Scenario Generation for Robust Hybrid AI for Autonomy Hambisa Keno N. Pioch Christopher Guagliano Timothy H. Chung 22 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 16 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 40 1 0 26 Mar 2024
Preemptively Pruning Clever-Hans Strategies in Deep Neural Networks Lorenz Linhardt Klaus-Robert Muller G. Montavon AAML 21 7 0 12 Apr 2023
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations Osama Maqbool J. Roßmann AI4CE 14 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 16 1 0 23 Nov 2022
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA Shreyas Ramakrishna Baiting Luo Christopher B. Kuhn G. Karsai Abhishek Dubey AAML 21 17 0 19 Jul 2022
Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification Pasquale Antonante Heath Nilsen Luca Carlone 37 24 0 22 May 2022
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing Lina Marsso Radu Mateescu L. Muller Wendelin Serwe 11 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 11 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 20 9 0 28 Oct 2021
GzScenic: Automatic Scene Generation for Gazebo Simulator Afsoon Afzal Claire Le Goues C. Timperley 11 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 19 40 0 12 Mar 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 14 0 0 08 Mar 2021
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 22 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 21 53 0 14 May 2020
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules Mohammad Hekmatnejad Bardh Hoxha Georgios Fainekos 17 16 0 25 Apr 2020
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 11 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 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016