Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Search by title, author, keywords, etc.
2019
Verifiably Safe Off-Model Reinforcement Learning
Nathan Fulton, Andre Platzer
TACAS
BibTeX | Google Scholar | XML
Towards Safe Reinforcement Learning in the Real World
Edward Ahn
BibTeX | Google Scholar | XML
2018
Formal Verification of CNN-based Perception Systems
Panagiotis Kouvaros, Alessio Lomuscio
BibTeX | Google Scholar | XML
Reachability Analysis for Neural Agent-Environment Systems
Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
International Conference on Principles of Knowledge Representation and Reasoning
BibTeX | Google Scholar | XML
GPU Accelerated Sub-Sampled Newton's Method
Sudhir Kylasa, Farbod Roosta-Khorasani, Michael Mahoney, Ananth Grama
arXiv e-prints
BibTeX | Google Scholar | XML
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang, Hoang-Dung Tran, Taylor Johnson
IEEE Transactions on Neural Networks and Learning Systems
BibTeX | Google Scholar | XML
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Weiming Xiang, Hoang-Dung Tran, Taylor Johnson
BibTeX | Google Scholar | XML
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Lopez, Patrick Musau, Taylor Johnson
Unmanned System Technologies: Safe, Autonomous and Intelligent Vehicles
BibTeX | Google Scholar | XML
Reachability Analysis and Safety Verification for Neural Network Control Systems
Weiming Xiang, Taylor Johnson
arXiv
BibTeX | Google Scholar | XML
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana Wild, Diego Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel Rosenfeld, Taylor Johnson
arXiv
BibTeX | Google Scholar | XML