AMR Lab
© 2019 Nicola Bezzo

Videos related to CDC'19 submission 

Verified Fast Run-time Planning for Safe Autonomous Systems Operations 

Esen Yel, Taylor J Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo

University of Virginia & University of Pennsylvania