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
Deepnncar: A testbed for deploying and testing middleware frameworks for autonomous robots
Matthew Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)
BibTeX | Google Scholar | XML
CPS Design with Learning-Enabled Components: A Case Study
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai
Proceedings of the 30th International Workshop on Rapid System Prototyping (RSP 19)
BibTeX | Google Scholar | XML
Augmenting learning components for safety in resource constrained autonomous robots
Shreyas Ramakrishna, Abhishek Dubey, Matthew Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)
BibTeX | Google Scholar | XML
Imitation-Projected Programmatic Reinforcement Learning
Abhinav Verma, Hoang Le, Yisong Yue, Swarat Chaudhuri
Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada
BibTeX | Google Scholar | XML
Verification of RNN-Based Neural Agent-Environment Systems
Michael Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano
AAAI Conference on Artificial Intelligence
BibTeX | Google Scholar | XML
HIGHER ORDER OPTIMIZATION TECHNIQUES FOR MACHINE LEARNING
Sudhir Kylasa
BibTeX | Google Scholar | XML
Simplifying Neural Networks using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, Guy Katz
arXiv e-prints
BibTeX | Google Scholar | XML
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz, Derek Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David Dill, Mykel Kochenderfer, Clark Barrett
BibTeX | Google Scholar | XML
Model-Based Design for CPS with Learning-Enabled Components
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits, Gabor Karsai
BibTeX | Google Scholar | XML
Attribution-based confidence metric for deep neural networks
Susmit Jha, Sunny Raj, Steven Fernandes, Sumit Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami
Advances in Neural Information Processing Systems
BibTeX | Google Scholar | XML