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
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark Barrett, Guy Katz
arXiv e-prints
BibTeX | Google Scholar | XML
Parallelization Techniques for Verifying Neural Networks
Haoze Wu, Alex Ozdemir, Aleksandar c, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett
arXiv e-prints
BibTeX | Google Scholar | XML
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
Proceedings of the AAAI Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
Run-Time Assurance for Learning-Enabled Systems
Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
NASA Formal Methods Symposium
BibTeX | Google Scholar | XML
Run-Time Assurance for Learning-Based Aircraft Taxiing
Darren Cofer, Isaac Amundson, Ram Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
Digital Avionics Systems Conference
BibTeX | Google Scholar | XML
Visual Navigation Among Humans with Optimal Control as a Supervisor
Varun Tolani, Somil Bansal, Aleksandra Faust, Claire Tomlin
arXiv
BibTeX | Google Scholar | XML
Manifold-based Test Generation for Image Classifiers
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren Cofer
arXiv
BibTeX | Google Scholar | XML
Manifold for Machine Learning Assurance
Taejoon Byun, Sanjai Rayadurgam
arXiv
BibTeX | Google Scholar | XML
Algorithms for verifying deep neural networks
Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark Barrett
arXiv
BibTeX | Google Scholar | XML
NNV: A Tool for Verification of Deep Neural Networks and Learning-Enabled Autonomous Cyber-Physical Systems
Hoang-Dung Tran, Xiaodong Yang, Diego Lopez, Patrick Musau, Luan Nguyen, Weiming Xiang, Stanley Bak, Taylor Johnson
32nd International Conference on Computer-Aided Verification 2020
BibTeX | Google Scholar | XML