• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2023
• 
  Richard D. Avila, Jason B. Clark:
  Architecting Systems for Assured Autonomy. ICAA 2023: 91-96
• 
  Taylor Bradley, Elie Alhajjar, Nathaniel D. Bastian:
  Novelty Detection in Network Traffic: Using Survival Analysis for Feature Identification. ICAA 2023: 11-18
• 
  Tyler Cody, Peter A. Beling:
  Cascading Negative Transfer in Networks of Machine Learning Systems. ICAA 2023: 141-148
• 
  Mary L. Cummings, Ben Bauchwitz:
  Driver Alerting in ADAS-Equipped Cars: A Field Study. ICAA 2023: 29-33
• 
  Martin S. Feather, Alessandro Pinto:
  Assurance for Autonomy - JPL's past research, lessons learned, and future directions. ICAA 2023: 97-105
• 
  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: 129-136
• 
  Alexander Haastrup, Muhammad Hataba, Ahmed B. T. Sherif, Mohamed Elsersy:
  Privacy-Aware Blockchain-Based AV Parking System Registration Scheme. ICAA 2023: 153-159
• 
  Jocelyn Hsu, Gregory Falco:
  Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space. ICAA 2023: 115-118
• 
  Laura Humphrey:
  Example Applications of Formal Methods to Aerospace and Autonomous Systems. ICAA 2023: 67-75
• 
  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: 149-152
• 
  Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee:
  Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance. ICAA 2023: 19-28
• 
  Benjamin D. Kraske, Anshu Saksena, Anna L. Buczak, Zachary N. Sunberg:
  Explanation Through Reward Model Reconciliation using POMDP Tree Search. ICAA 2023: 137-140
• 
  Samuel Lefcourt, Gregory Falco:
  AI Forensics. ICAA 2023: 106-114
• 
  Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
  Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10
• 
  Alessandro Pinto, Anthony Corso, Edward Schmerling:
  Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. ICAA 2023: 34-43
• 
  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: 53-56
• 
  Nicholas Potteiger, Xenofon D. Koutsoukos:
  Safe Explainable Agents for Autonomous Navigation using Evolving Behavior Trees. ICAA 2023: 44-52
• 
  Joshua D. Prucnal, David Scheidt:
  Watchdog For Assuring COLREG Compliance of Autonomous Unmanned Surface Vessels That Include Artificial Intelligence. ICAA 2023: 86-90
• 
  Benjamin Schumeg, Franklin Marotta, Benjamin Werner:
  Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ICAA 2023: 61-66
• 
  Christopher R. Serrano, Aleksey Nogin, Michael A. Warren:
  Assured Point Cloud Perception. ICAA 2023: 119-128
• 
  Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha:
  Detecting Trojaned DNNs Using Counterfactual Attributions. ICAA 2023: 76-85
• 
  Ananya Trivedi, Salah Bazzi, Mark Zolotas, Taskin Padir:
  Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile Robots in Off-Road Environments. ICAA 2023: 57-60
• 
  IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023. IEEE 2023, ISBN 979-8-3503-2601-7 [contents]