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