8 citations · 12 across the 6 of their papers we have counts for
7 papers
Querying Labeled Time Series Data with Scenario Programs
Edward Kim, Devan Shanker, Varun Bharadwaj +5
Simulation-based testing has become a crucial complement to road testing for ensuring the safety of cyber physical systems (CPS). As a result, significant research efforts have bee…
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Eric Vin, Shun Kashiwa, Matthew Rhea +7
We present a major new version of Scenic, a probabilistic programming language for writing formal models of the environments of cyber-physical systems. Scenic has been successfully…
A generic physics-informed neural network-based framework for reliability assessment of multi-state systems
Taotao Zhou, Xiaoge Zhang, Enrique Lopez Droguett +1
In this paper, we leverage the recent advances in physics-informed neural network (PINN) and develop a generic PINN-based framework to assess the reliability of multi-state systems…
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Francis Indaheng, Edward Kim, Kesav Viswanadha +4
Behavior prediction remains one of the most challenging tasks in the autonomous vehicle (AV) software stack. Forecasting the future trajectories of nearby agents plays a critical r…
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Kesav Viswanadha, Francis Indaheng, Justin Wong +5
This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveragin…
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments
Abdus Salam Azad, Edward Kim, Qiancheng Wu +4
The capability of a reinforcement learning (RL) agent heavily depends on the diversity of the learning scenarios generated by the environment. Generation of diverse realistic scena…
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant +7
We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanni…