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
Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas
22nd International Conference on Hybrid Systems: Computation and Control
BibTeX | Google Scholar | XML
OVERT: Verification of nonlinear dynamical systems with neural network controllers via overapproximation
Chelsea Sidrane, Mykel Kochenderfer
Workshop on Safe Machine Learning, International Conference on Learning Representations
BibTeX | Google Scholar | XML
Scenic: a language for scenario specification and scene generation
Daniel Fremont, Tommaso Dreossi, Alberto Sangiovanni-Vincentelli, Sanjit Seshia
40th ACM SIGPLAN Conference on Programming Language Design and Implementation
BibTeX | Google Scholar | XML
Verifai: A toolkit for the formal design and analysis of artificial intelligence-based systems
Tommaso Dreossi, Daniel Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit Seshia
International Conference on Computer Aided Verification 
BibTeX | Google Scholar | XML
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems
Hoang-Dung Tran, Weiming Xiang, Taylor Johnson
The IEEE Design \& Test 2019
BibTeX | Google Scholar | XML
Star-Based Reachability Analsysis for Deep Neural Networks
Hoang-Dung Tran, Diego Lopez, Patrick Musau, Xiaodong Yang, Luan Nguyen, Weiming Xiang, Taylor Johnson
The 23rd International Symposium on Formal Methods (FM)
BibTeX | Google Scholar | XML
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
Hoang-Dung Tran, Feiyang Cai, Diego Lopez, Patrick Musau, Taylor Johnson, Xenofon Koutsoukos
The International Conference on Embedded Software (EMSOFT)
BibTeX | Google Scholar | XML
Parallelizable Reachability Analsysis Algorithms for FeedForward Neural Networks
Hoang-Dung Tran, Patrick Musau, Diego Lopez, Xiaodong Yang, Luan Nguyen, Weiming Xiang, Taylor Johnson
7th International Conference on Formal Methods in Software Engineering
BibTeX | Google Scholar | XML
Verification of Closed-loop Systems with Neural Network Controllers (Benchmark Proposal)
Diego Lopez, Patrick Musau, Hoang-Dung Tran, Taylor Johnson
6th International Workshop on Applied Verification of Continuous and Hybrid Systems
BibTeX | Google Scholar | XML
ARCH-COMP19 Category Report: Artificial Intelligence / Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor Carpenter, Radoslav Ivanov, Taylor Johnson
6th International Workshop on Applied Verification of Continuous and Hybrid Systems
BibTeX | Google Scholar | XML