ICAA

Publications

2023

Samuel Lefcourt, Gregory Falco
AI Forensics. ICAA (2023)
Christopher R. Serrano, Aleksey Nogin, Michael A. Warren
Assured Point Cloud Perception. ICAA (2023)
Bradley Potteiger, Tom Dignan, Amber Mills, Ed Pavelka, Caleb P. Frey, Ben Nathan, Milki Dagne, Violet Garibaldi, Ben Otter
Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous Vehicles. ICAA (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA (2023)
Benjamin Schumeg, Franklin Marotta, Benjamin Werner
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ICAA (2023)
Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA (2023)
Tyler Cody, Peter A. Beling
Cascading Negative Transfer in Networks of Machine Learning Systems. ICAA (2023)
Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
A Safety Fallback Controller for Improved Collision Avoidance. ICAA (2023)
Taylor Bradley, Elie Alhajjar, Nathaniel D. Bastian
Novelty Detection in Network Traffic: Using Survival Analysis for Feature Identification. ICAA (2023)
Mary L. Cummings, Ben Bauchwitz
Driver Alerting in ADAS-Equipped Cars: A Field Study. ICAA (2023)
Martin S. Feather, Alessandro Pinto
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA (2023)
Alexander Haastrup, Muhammad Hataba, Ahmed B. T. Sherif, Mohamed Elsersy
Privacy-Aware Blockchain-Based AV Parking System Registration Scheme. ICAA (2023)
Joshua D. Prucnal, David Scheidt
Watchdog For Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial Intelligence. ICAA (2023)
Ananya Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir
Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road Environments. ICAA (2023)
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA (2023)
Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha
Detecting Trojaned DNNs Using Counterfactual Attributions. ICAA (2023)
Jocelyn Hsu, Gregory Falco
Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space. ICAA (2023)
Richard D. Avila, Jason B. Clark
Architecting Systems for Assured Autonomy. ICAA (2023)
Nicholas Potteiger, Xenofon D. Koutsoukos
Safe Explainable Agents for Autonomous Navigation using Evolving Behavior Trees. ICAA (2023)
Laura Humphrey
Example Applications of Formal Methods to Aerospace and Autonomous Systems. ICAA (2023)
Alessandro Pinto, Anthony Corso, Edward Schmerling
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. ICAA (2023)
IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023 ICAA (2023)
Benjamin D. Kraske, Anshu Saksena, Anna L. Buczak, Zachary N. Sunberg
Explanation Through Reward Model Reconciliation using POMDP Tree Search. ICAA (2023)

2022

2014

volume 8321, 2014

Applied Algorithms - First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings ICAA 8321 (2014)