November 4, 2018 (v1)
Conference paper
The deployment of autonomous vehicles is contingent on trust in their ability to operate safely. However, the assurance that they can accommodate failures and changing weather conditions to maintain limited functionality requires the development of rigorous design and analysis tools. This paper presents a formal approach for the design of...
Uploaded on: December 4, 2022