9 citations · 15 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.MA2020★ 1 cited
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung +1
The ability to guarantee safety and progress for all vehicles is vital to the success of the autonomous vehicle industry. We present a framework for designing autonomous vehicle be…
eess.SY2020★ 4 cited
Counter-example Guided Learning of Bounds on Environment Behavior
Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh +1
There is a growing interest in building autonomous systems that interact with complex environments. The difficulty associated with obtaining an accurate model for such environments…