default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICAA 2023: Laurel, MD, USA
- IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023. IEEE 2023, ISBN 979-8-3503-2601-7
- Pengyuan Lu, Ivan Ruchkin
, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Causal Repair of Learning-Enabled Cyber-Physical Systems. 1-10 - Taylor Bradley, Elie Alhajjar, Nathaniel D. Bastian:
Novelty Detection in Network Traffic: Using Survival Analysis for Feature Identification. 11-18 - Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. 19-28 - Mary L. Cummings, Ben Bauchwitz:
Driver Alerting in ADAS-Equipped Cars: A Field Study. 29-33 - Alessandro Pinto, Anthony Corso, Edward Schmerling:
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. 34-43 - Nicholas Potteiger, Xenofon D. Koutsoukos:
Safe Explainable Agents for Autonomous Navigation using Evolving Behavior Trees. 44-52 - 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. 53-56 - Ananya Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir:
Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road Environments. 57-60 - Benjamin Schumeg, Franklin Marotta, Benjamin Werner:
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. 61-66 - Laura Humphrey:
Example Applications of Formal Methods to Aerospace and Autonomous Systems. 67-75 - Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha:
Detecting Trojaned DNNs Using Counterfactual Attributions. 76-85 - Joshua D. Prucnal, David Scheidt:
Watchdog For Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial Intelligence. 86-90 - Richard D. Avila, Jason B. Clark:
Architecting Systems for Assured Autonomy. 91-96 - Martin S. Feather, Alessandro Pinto:
Assurance for Autonomy - JPL's past research, lessons learned, and future directions. 97-105 - Samuel Lefcourt, Gregory Falco:
AI Forensics. 106-114 - Jocelyn Hsu, Gregory Falco:
Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space. 115-118 - Christopher R. Serrano, Aleksey Nogin, Michael A. Warren:
Assured Point Cloud Perception. 119-128 - 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. 129-136 - Benjamin D. Kraske, Anshu Saksena, Anna L. Buczak, Zachary N. Sunberg:
Explanation Through Reward Model Reconciliation using POMDP Tree Search. 137-140 - Tyler Cody, Peter A. Beling:
Cascading Negative Transfer in Networks of Machine Learning Systems. 141-148 - Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema:
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. 149-152 - Alexander Haastrup, Muhammad Hataba, Ahmed B. T. Sherif, Mohamed Elsersy:
Privacy-Aware Blockchain-Based AV Parking System Registration Scheme. 153-159
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
