Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Search by title, author, keywords, etc.
2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
Jianglin Lan, Yang Zheng, Alessio Lomuscio
The 36th AAAI Conference on Artificial Intelligence (AAAI22)
BibTeX | Google Scholar | XML
2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Stanley Bak, Changliu Liu, Taylor Johnson
arXiv preprint arXiv:2109.00498
BibTeX | Google Scholar | XML
Formal Analysis of Neural Network-based Systems in the Aircraft Domain
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos Margineantu, Denis Osipychev, Yang Zheng
The 24th International Symposium on Formal Methods (FM21)
BibTeX | Google Scholar | XML
Efficient Out-of-Distribution Detection Using Latent Space of beta-VAE for Cyber-Physical Systems
Shreyas Ramakrishna, Zahra Rahiminasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
arXiv preprint arXiv:2108.11800
BibTeX | Google Scholar | XML
Assuring Learning-Enabled Components in Small Unmanned Aircraft Systems
Krishna Muvva, Justin Bradley, Marilyn Wolf, Taylor Johnson
AIAA Scitech 2021 Forum
BibTeX | Google Scholar | XML
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
Diego Lopez, Taylor Johnson, Hoang-Dung Tran, Stanley Bak, Xin Chen, Kerianne Hobbs
AIAA Scitech 2021 Forum
BibTeX | Google Scholar | XML
Robustness verification of semantic segmentation neural networks using relaxed reachability
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor Johnson
International Conference on Computer Aided Verification
BibTeX | Google Scholar | XML
Detection of Dataset Shifts in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression
Feiyang Cai, Ali Ozdagli, Xenofon Koutsoukos
arXiv preprint arXiv:2104.06613
BibTeX | Google Scholar | XML
Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems
Matthew Burruss, Shreyas Ramakrishna, Abhishek Dubey
arXiv preprint arXiv:2103.14172
BibTeX | Google Scholar | XML
Assurance monitoring of learning-enabled cyber-physical systems using inductive conformal prediction based on distance learning
Dimitrios Boursinos, Xenofon Koutsoukos
AI EDAM
BibTeX | Google Scholar | XML