ResearchTrend.AI
Parallel and Multi-Objective Falsification with Scenic and VerifAI

Parallel and Multi-Objective Falsification with Scenic and VerifAI

Kesav Viswanadha
Edward J. Kim
Francis Indaheng
Daniel J. Fremont
S. Seshia
ArXivPDFHTML

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
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Yuhao Zhou
S. Tripakis
29
1
0
17 Dec 2023
Safe Policy Improvement in Constrained Markov Decision Processes
Safe Policy Improvement in Constrained Markov Decision Processes
Luigi Berducci
Radu Grosu
OffRL
36
2
0
20 Oct 2022
Systems Challenges for Trustworthy Embodied Systems
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
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
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
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