Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Search by title, author, keywords, etc.
2021
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts
Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
International Joint Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching
Panagiotis Kouvaros, Alessio Lomuscio
International Joint Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
On-The-Fly Control of Unknown Smooth Systems from Limited Data
Franck Djeumou, Abraham Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021 American Control Conference (ACC)
BibTeX | Google Scholar | XML
2020
ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars
Qin Lin, Xin Chen, Aman Khurana, John Dolan
2020 International Conference on Intelligent Robots and Systems (IROS)
BibTeX | Google Scholar | XML
A Methodology for Automating Assurance Case Generation
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pal, Gabor Karsai
Tools and Methods of Competitive Engineering
BibTeX | Google Scholar | XML
Reachable set estimation for neural network control systems: A simulation-guided approach
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor Johnson
IEEE Transactions on Neural Networks and Learning Systems
BibTeX | Google Scholar | XML
Improving prediction confidence in learning-enabled autonomous systems
Dimitrios Boursinos, Xenofon Koutsoukos
International Conference on Dynamic Data Driven Application Systems
BibTeX | Google Scholar | XML
Efficient Verification of Neural Networks via Dependency Analysis
E. Botoeva, P. Kouvaros, J. Kronqvist, A. Lomuscio, R. Misener
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20)
BibTeX | Google Scholar | XML
Trusted confidence bounds for learning enabled cyber-physical systems
Dimitrios Boursinos, Xenofon Koutsoukos
2020 IEEE Security and Privacy Workshops (SPW)
BibTeX | Google Scholar | XML
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)
BibTeX | Google Scholar | XML