36 citations · 113 across the 35 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
eess.SY2017★ 1 cited
Road to safe autonomy with data and formal reasoning
Chuchu Fan, Bolun Qi, Sayan Mitra
We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-base…
eess.SY2017★ 13 cited
Verifying safety of an autonomous spacecraft rendezvous mission
Nicole Chan, Sayan Mitra
A fundamental maneuver in autonomous space operations is known as rendezvous, where a spacecraft navigates to and approaches another spacecraft. In this case study, we present line…
eess.SY2017
DRYVR:Data-driven verification and compositional reasoning for automotive systems
Chuchu Fan, Bolun Qi, Sayan Mitra +1
We present the DRYVR framework for verifying hybrid control systems that are described by a combination of a black-box simulator for trajectories and a white-box transition graph s…