Parallel and Multi-Objective Falsification with Scenic and VerifAI

9 July 2021

Papers citing "Parallel and Multi-Objective Falsification with Scenic and VerifAI"

5 / 5 papers shown

Title
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 31 1 0 17 Dec 2023
Safe Policy Improvement in Constrained Markov Decision Processes Luigi Berducci Radu Grosu OffRL 38 2 0 20 Oct 2022
Systems Challenges for Trustworthy Embodied Systems Harald Ruess 21 2 0 10 Jan 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 34 9 0 28 Oct 2021
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant S. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 76 125 0 17 Mar 2020