| 9:00 AM | Introductions |
| 9:10 AM | Keynote Speaker: Dr. Edward Tunstel, CTO of Motiv Space Systems, Inc. Title: An Autonomous Systems Developer Perspective on Assured Autonomy. |
| 10:10 AM | Break |
Session 1: Addressing Novelty for Trained Components |
|
| 10:30 AM | Paper 1: Causal Repair of Learning-Enabled Cyber-Physical Systems Authors: Pengyuan Lu; Ivan Ruchkin; Matthew Cleaveland; Oleg Sokolsky; Insup Lee |
| 11:00 AM | Paper 2: Novelty Detection in Network Traffic: Using Survival Analysis for Feature Identification Authors: Taylor Bradley; Elie Alhajjar; Nathaniel D. Bastian |
| 11:30 AM | Paper 3: Predicting Out-Of-Distribution Performance of Deep Neural Networks Using Model Conformance Authors: Ramneet Kaur; Susmit Jha; Anirban Roy; Oleg Sokolsky; Insup Lee |
| 12:00 PM | Lunch (on your own) |
| 13:30 PM | Tutorial/Demonstration Speaker Dr. Isaac Amundson Senior Principal Systems Engineer, Applied Research and Technology group, Collins Aerospace Title: Architecture and Analysis for High-Assurance Autonomy |
| 14:30 PM | Break |
Session 2: Autonomous Systems |
|
| 14:45 PM | Paper 4: Driver Alerting in ADAS-Equipped Cars: A Field Study Authors: Missy Cummings, Ben Bauchwitz |
| 15:15 PM | Paper 5:Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System Authors: Alessandro Pinto; Anthony L. Corso; Edward Schmerling |
| 15:45 PM | Paper 6: Safe Explainable Agents for Autonomous Navigation Using Evolving Behavior Trees Authors: Nicholas Potteiger; Xenofon Koutsoukos |
| 16:15 PM | Paper 7: Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous Vehicles Authors: Bradley D Potteiger; Thomas Dignan; Amber R Mills; Edward J Pavelka; Caleb Frey; Benjamin E Nathan; Milkii Dagne; Violet Garibaldi; Ben Otter |
| 16:45 PM | Paper 8:Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road Environments Authors: Ananya T Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir |
| 17:15 PM | Day 1 Closing Remarks |
| 17:15 PM - 18:00 PM | In-person poster session: Open to all registrants where you may bring digital posters/demos of projects of interest for sharing with other conference attendees. |
| 9:00 AM | Introductions |
| 9:05 AM | Keynote Speaker: William Martin, Program manager, Information Innovation Office (I2O), DARPA Title: Working at the intersection of Assurance and AI |
| 10:10 AM | Break |
Session 3: Verification |
|
| 10:30 AM | Paper 1: Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence Authors: Benjamin Schumeg; Franklin Marotta; Benjamin Werner |
| 11:00 AM | Paper 2: Example Applications of Formal Methods to Aerospace and Autonomous Systems Authors: Laura R Humphrey |
| 11:30 AM | Paper 3: Detecting Trojaned DNNs Using Counterfactual Attributions Authors: Karan Sikka; Indranil Sur; Anirban Roy; Ajay Divakaran; Susmit Jha |
| 12:00 PM | Lunch (on your own) |
Session 4 Assuring Systems |
|
| 13:30 PM | Paper 4: Watchdog for Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial Intelligence Authors: Joshua D. Prucnal; David Scheidt |
| 14:00 PM | Paper 5:Architecting Systems for Assured Autonomy Authors: Richard D Avila; Jason Clark |
| 14:30 PM | Paper 6: Assurance for Autonomy - JPL's Past Research, Lessons Learned, and Future Directions Authors: Alessandro Pinto; Martin Feather |
| 15:00 PM | Break |
Session 5: Cyber Deterrence |
|
| 15:15 PM | Paper 7: AI Forensics Authors: Samuel Lefcourt; Gregory Falco |
| 15:45 PM | Paper 8: Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space Authors: Jocelyn Hsu; Gregory Falco |
| 16:15 PM | Paper 9: Assured Point Cloud Perception Authors: Christopher R Serrano; Aleksey Nogin; Michael A Warren |
| 16:45 PM | Paper 10: A Safety Fallback Controller for Improved Collision Avoidance Authors: Daniel Genin; Elizabeth Dietrich; Yanni Kouskoulas; Aurora Schmidt; Marin Kobilarov; Kapil Katyal; Shahriar Sefati; Subhransu Kumar Mishra; Ivan Papusha |
| 17:15 PM | Day 2 Closing Remarks |
| 9:00 AM | Introductions |
| 9:05 AM | Keynote Speaker: Dr. Signe Redfield, Director, US NRL Laboratory for Autonomous Systems Research Title: IEEE P2817 - A Best Practices Guide for Verification of Autonomous Systems |
| 10:10 AM | Break |
Session 6: Machine Learning and AI Design |
|
| 10:30 AM | Paper 1: Explanation Through Reward Model Reconciliation Using POMDP Tree Search Authors: Benjamin D Kraske; Anshu Saksena; Anna L Buczak; Zachary N Sunberg |
| 11:00 AM | Paper 2: Cascading Negative Transfer in Networks of Machine Learning Systems Authors: Tyler Cody; Peter Belng |
| 11:30 AM | Paper 3: Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting Authors: Susmit Jha; Sumit Kumar Jha; Patrick Lincoln; Nathaniel D. Bastian; Alvaro Velasquez; Sandeep Neema |
| 12:00 PM | Paper 4: Privacy-Aware Blockchain-Based AV Parking System Registration Scheme Authors: Alexander Haastrup; Muhammad A Hataba; Ahmed Sherif; Mohamed Elsersy |
| 12:30 PM | Conference Closing Remarks |