Abstract is missing.
- Causal Repair of Learning-Enabled Cyber-Physical SystemsPengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee 0001. 1-10 [doi]
- Novelty Detection in Network Traffic: Using Survival Analysis for Feature IdentificationTaylor Bradley, Elie Alhajjar, Nathaniel D. Bastian. 11-18 [doi]
- Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model ConformanceRamneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee 0001. 19-28 [doi]
- Driver Alerting in ADAS-Equipped Cars: A Field StudyMary L. Cummings, Ben Bauchwitz. 29-33 [doi]
- Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi SystemAlessandro Pinto, Anthony Corso 0001, Edward Schmerling. 34-43 [doi]
- Safe Explainable Agents for Autonomous Navigation using Evolving Behavior TreesNicholas Potteiger, Xenofon D. Koutsoukos. 44-52 [doi]
- Live Virtual Constructive Environment for Assuring the Safety and Security of Complex Autonomous VehiclesBradley Potteiger, Tom Dignan, Amber Mills, Ed Pavelka, Caleb P. Frey, Ben Nathan, Milki Dagne, Violet Garibaldi, Ben Otter. 53-56 [doi]
- Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road EnvironmentsAnanya Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir. 57-60 [doi]
- Proposed V-Model for Verification, Validation, and Safety Activities for Artificial IntelligenceBenjamin Schumeg, Franklin Marotta, Benjamin Werner. 61-66 [doi]
- Example Applications of Formal Methods to Aerospace and Autonomous SystemsLaura Humphrey. 67-75 [doi]
- Detecting Trojaned DNNs Using Counterfactual AttributionsKaran Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha. 76-85 [doi]
- Watchdog For Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial IntelligenceJoshua D. Prucnal, David Scheidt. 86-90 [doi]
- Architecting Systems for Assured AutonomyRichard D. Avila, Jason B. Clark. 91-96 [doi]
- Assurance for Autonomy - JPL's past research, lessons learned, and future directionsMartin S. Feather, Alessandro Pinto. 97-105 [doi]
- AI ForensicsSamuel Lefcourt, Gregory Falco. 106-114 [doi]
- Space Booby Traps: Hacking Back and Assured Cyber Deterrence in SpaceJocelyn Hsu, Gregory Falco. 115-118 [doi]
- Assured Point Cloud PerceptionChristopher R. Serrano, Aleksey Nogin, Michael A. Warren. 119-128 [doi]
- A Safety Fallback Controller for Improved Collision AvoidanceDaniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha. 129-136 [doi]
- Explanation Through Reward Model Reconciliation using POMDP Tree SearchBenjamin D. Kraske, Anshu Saksena, Anna L. Buczak, Zachary N. Sunberg. 137-140 [doi]
- Cascading Negative Transfer in Networks of Machine Learning SystemsTyler Cody, Peter A. Beling. 141-148 [doi]
- Dehallucinating Large Language Models Using Formal Methods Guided Iterative PromptingSusmit Jha, Sumit Kumar Jha 0001, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema. 149-152 [doi]
- Privacy-Aware Blockchain-Based AV Parking System Registration SchemeAlexander Haastrup, Muhammad Hataba, Ahmed B. T. Sherif, Mohamed Elsersy. 153-159 [doi]