A Framework for Assuring Safety of Autonomous Vehicles

Published in Submitted to IEEE Transactions on Automatic Control, 2020

Recommended citation: Forrest Laine, David Fridovich-Keil, Claire Tomlin, "A Framework for Assuring Safety of Autonomous Vehicles." Submitted to IEEE Transactions on Automatic Control, 2020.