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
Out-of-distribution detection in multi-label datasets using latent space of $\beta$-vae
Vijaya Sundar, Shreyas Ramakrishna, Zahra Rahiminasab, Arvind Easwaran, Abhishek Dubey
2020 IEEE Security and Privacy Workshops (SPW)
BibTeX | Google Scholar | XML
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Diego Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor Jonhson
2020 IEEE Security and Privacy Workshops (SPW)
BibTeX | Google Scholar | XML
Dynamic-weighted simplex strategy for learning enabled cyber physical systems
Shreyas Ramakrishna, Charles Harstell, Matthew Burruss, Gabor Karsai, Abhishek Dubey
Journal of systems architecture
BibTeX | Google Scholar | XML
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
International Conference on Principles of Knowledge Representation and Reasoning
BibTeX | Google Scholar | XML
Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search
Patrick Henriksen, Alessio Lomuscio
European Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
Formal Verification of Neural Agents in Non-deterministic Environments
Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
International Conference on Autonomous Agents and Multiagent Systems
BibTeX | Google Scholar | XML
Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
AAAI Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual
BibTeX | Google Scholar | XML
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Zikang Xiong, Joe Eappen, He Zhu, Suresh Jagannathan
arXiv e-prints
BibTeX | Google Scholar | XML
Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance
A. Irfan, K. Julian, H. Wu, C. Barrett, M. Kochenderfer, B. Meng, J. Lopez
BibTeX | Google Scholar | XML