Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations

3 January 2023

Papers citing "Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations"

9 / 9 papers shown

Title
Generating Useful Accident-Prone Driving Scenarios via a Learned Traffic Prior Davis Rempe Jonah Philion Leonidas Guibas Sanja Fidler Or Litany 88 135 0 09 Dec 2021
Towards Universal Physical Attacks On Cascaded Camera-Lidar 3D Object Detection Models Mazen Abdelfattah Kaiwen Yuan Z. J. Wang Rabab Ward 3DPC 48 32 0 26 Jan 2021
Waymo's Safety Methodologies and Safety Readiness Determinations N. Webb Dan Smith Christopher Ludwick Trent Victor Q. Hommes Francesca Favaro George Ivanov Tom Daniel 40 64 0 30 Oct 2020
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant Sanjit A. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 95 130 0 17 Mar 2020
Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation Matthew O'Kelly Aman Sinha Hongseok Namkoong John C. Duchi Russ Tedrake 82 217 0 31 Oct 2018
Structured Domain Randomization: Bridging the Reality Gap by Context-Aware Synthetic Data Aayush Prakash Shaad Boochoon M. Brophy David Acuna Eric Cameracci Gavriel State Omer Shapira Stan Birchfield 63 266 0 23 Oct 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 66 257 0 25 Sep 2018
Verifying Controllers Against Adversarial Examples with Bayesian Optimization Shromona Ghosh Felix Berkenkamp G. Ranade S. Qadeer Ashish Kapoor AAML 56 45 0 23 Feb 2018
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé Sanjit A. Seshia AAML 85 231 0 02 Mar 2017