Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Search by title, author, keywords, etc.
2020
Verification of Deep Convolutional Neural Networks Using ImageStars
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor Johnson
32nd International Conference on Computer-Aided Verification 2020
BibTeX | Google Scholar | XML
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor Johnson
International Conference on Computer Aided Verification 2020
BibTeX | Google Scholar | XML
Combining optimal control and learning for visual navigation in novel environments
Somil Bansal, Varun Tolani, Saurabh Gupta, Jitendra Malik, Claire Tomlin
Conference on Robot Learning
BibTeX | Google Scholar | XML
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, Insup Lee
23rd International Conference on Hybrid Systems: Computation and Control
BibTeX | Google Scholar | XML
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel Fremont, Johnathan Chiu, Dragos Margineantu, Denis Osipychev, Sanjit Seshia
arXiv
BibTeX | Google Scholar | XML
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel Fremont, Edward Kim, Yash Pant, Sanjit Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
arXiv
BibTeX | Google Scholar | XML
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors
Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit Seshia
Conference on Computer Vision and Pattern Recognition
BibTeX | Google Scholar | XML
Model-Centered Assurance for Autonomous Systems
Susmit Jha, John Rushby, Natarajan Shankar
International Conference on Computer Safety, Reliability, and Security
BibTeX | Google Scholar | XML
On Need for Topology-Aware Generative Models for Manifold-Based Defenses
Uyeong Jang, Susmit Jha, Somesh Jha
ICLR
BibTeX | Google Scholar | XML
2019
A formal safety net for waypoint-following in ground robots
Brandon Bohrer, Yong Tan, Stefan Mitsch, Andrew Sogokon, Andre Platzer
IEEE Robotics and Automation Letters
BibTeX | Google Scholar | XML