Francis Indaheng

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 5

Top Topics

Conflicting Objectives

Multiobjective Optimization

Parallel Implementation

Top Venues

Publications

Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR (2021)
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR (2021)
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR (2021)