


default search action
ICAA 2024: Nashville, TN, USA
- International Conference on Assured Autonomy, ICAA 2024, Nashville, TN, USA, October 10-11, 2024. IEEE 2024, ISBN 979-8-3315-2101-1
- Nicholas Potteiger, Ankita Samaddar
, Hunter Bergstrom, Xenofon D. Koutsoukos:
Designing Robust Cyber-Defense Agents with Evolving Behavior Trees. 1-10 - Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark, Radha Poovendran:
Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems. 11-20 - Mary Versa Clemens-Sewall, Emma Rafkin, Christopher M. Cervantes:
Domain Knowledge Elicitation for Data Curation to Promote Trustworthiness in Artificial Intelligence. 21-30 - Samuel Barham, Michael Kelbaugh, Arun Reddy, Devin Ramsden, Chase Chandler, Adam Tobin-Williams, Ben Shalom Elhadad, Georgia R. Cooper, Kari Alexander:
Graph-Based Grounding in a Conversational Clinical Decision Support System. 31-37 - Chi Phuong Ngoc Huynh, James Weimer:
Estimating Data Requirements for Learning-Enabled Systems using Metadata. 38-47 - Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey:
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. 48-57 - Grayson Byrd, Dan Zhang, Feng Luo, Venkat Krovi, David J. Gorsich, Jonathon M. Smereka, Mark J. Brudnak:
Dynamic View Translation for Robust Multi-Agent Autonomy. 58-66 - Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty:
GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems. 67-76 - Zifan Wang, Qinru Qiu, Fanxin Kong:
Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems. 77-86 - Karen da Mata, Zakaria Faddi, Priscila Silva, Vidhyashree Nagaraju, Susmita Ghosh, Gökhan Kul, Lance Fiondella:
Reliability Evaluation of CNN-enabled Systems in Adversarial Scenarios. 87-90 - Walter Bender, Michael Castle:
New Framework for Defining Command and Control Structure of Complex Aviation Systems. 91-93 - Worawis Sribunma, Li-Yu Lin, Kartik Anand Pant
, Chuhao Deng, James M. Goppert, Sabine Brunswicker, Joe Roberts:
Mixed-Reality Testbed for Autonomous Fixed-Wing UAVs Human-Autonomy Teaming. 94-97 - Stefan Mitsch:
Towards Verification-Driven Control Learning. 98-101 - Ahmet Okutan, Samuel Merten, Christoph C. Michael, Ben Ryjikov:
Leveraging RAG-LLM to Translate C++ to Rust. 102-105 - Raphael Norman-Tenazas
, Cameron Hickert, Tamim Sookoor, Aurora C. Schmidt, Edward Staley, Joseph Maurio, Jesse Silverberg, Paul Wood, Yair Amir:
Towards Trustworthy Distributed AI Demand Response. 106-109 - Shuhang Tan, Jayson Sia, Paul Bogdan, Radoslav Ivanov:
Analyzing Neural Network Robustness Using Graph Curvature. 110-113 - William English, Dominic Simon, Md Rubel Ahmed, Sumit Kumar Jha, Rickard Ewetz:
Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation. 114-117 - Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models. 118-121

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.