1 paper · 1 filter
Nicholas Rober, Karan Mahesh, Tyler M. Paine +5
Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to di…