ICAA 2024
The 3rd International Conference on Assured Autonomy
Vanderbilt University Nashville, TN
October 10-11, 2024

About

About ICAA 2024

The 3rd Conference on Assured Autonomy (ICAA'24) will take place from October 10 - 11, 2024 at the Vanderbilt University, Nashville, Tennessee, USA. ICAA seeks contributions on all aspects of assurance for AI and autonomy, including safety, security, and privacy in autonomous systems. Papers that encourage the discussion and exchange of experimental and theoretical results, novel designs, and works in progress are preferred. Topics of interest include (but are not limited to) AI/Autonomy Safety, and Security and Privacy.

Important Dates

Paper submission deadline: Aug 7, 2024 (Anywhere on Earth)
Acceptance notification: Sep 7, 2024
Publication-ready Papers Due: Oct 7, 2024 (will be updated)
Early Registration Deadline: Sep 17, 2024 Oct 7, 2024
Author Registration Deadline: Sep 17, 2024 Oct 7, 2024
Registration is Open!!! Please note that the early registration deadline and Author Registration deadlines are October 7th. Click here to Register!

Call for Papers

The International Conference on Assured Autonomy (ICAA) plans to address the gap that exists between theory-heavy artificially intelligent autonomous systems and the privacy, security, and safety of their real-world implementations. Advances in machine learning (ML) and artificial intelligence (AI) have shown great promise in algorithms and techniques for automating complex decision-making processes across transportation, robotics, critical infrastructure, and cyber infrastructure domains. Practical implementations of these algorithms require significant systems engineering and integration support for safe, trusted, and assured operations, especially as they integrate with the physical world. This need for assurance is further challenged by AI safety, security, privacy, responsibility, bias, and alignment issues. The focus of this conference is the: (1) Design of Assured and Safe Systems with AI and Autonomy, (2) Real-world Studies, Deployments and Industry Uses of Assured AI and Autonomy (3) Methods for Testing and Assuring AI and AI-enabled Autonomous Systems, and (4) Security and Privacy of AI and Autonomous Systems, which includes methods to detect, respond, mitigate, and recover resiliently to violations in safety, security, and privacy, and trust.

Topics and types of contributions

ICAA seeks new methodologies and contributions as well as applications and studies of all aspects of AI safety, security, and assurance in autonomous systems. Papers that encourage the discussion and exchange of experimental and theoretical results, novel designs, real-world uses, case studies and works in progress are requested. Both full papers (up to 10 pages) and working papers (up to 4 pages) will be accepted. Topics of interest include (but are not limited to):

Design for Assured and Safe Autonomy

  • Safe-by-construction methods for autonomous systems

  • Formally verified AI and autonomy

  • Neuro-symbolic learning and reasoning for assured, resilient autonomy

  • Systems that learn and adapt in the field

  • Sim-to-real transfer for assured AI and autonomy

  • Runtime assurance and monitoring

  • Safe learning and control for autonomous and AI-enabled systems

  • Real-world studies, uses, and design considerations of AI for autonomous systems

Methods for Testing and Assuring AI and Autonomy

  • Explainable and interpretable AI-enabled systems

  • Alignment and safety of AI and autonomous systems

  • Standards, ethics, and policies for autonomy and AI to meet responsible AI principles

  • Verification, validation, testing, and assurance of systems with AI and autonomy

  • Evaluating safety of autonomous systems according to their potential risks and vulnerabilities

  • Test, evaluation, certification, and assurance of autonomous AI systems

  • Modeling and simulation, virtual constructive and live testing challenges for AI and autonomous systems

  • Safety, evaluation, and assurance of human-autonomy teaming

  • Evaluation and safety of foundation models

  • Lessons learned from deployments and industrial uses of AI and autonomy

Security and Privacy of AI and Autonomous Systems

  • Detecting dataset anomalies that lead to autonomous system security and privacy violations

  • Detecting data poisoning, model poisoning and system attacks

  • Differential privacy and privacy-preserving learning and generative models

  • Adversarial attacks on AI and autonomy, and defenses against adversarial attacks

  • Mitigation and improved resiliency of AI and autonomous systems to various forms of attacks

  • Engineering trusted autonomous system and AI software architectures

  • Red-teaming and stress testing of AI-enabled systems to identify vulnerabilities

  • Real-world studies of security and privacy challenges for AI and autonomy

Paper Format

  • Full papers (10 pages)
  • Work-in-progress papers (4 pages)

Submission Guidelines

You are invited to submit regular papers (up to ten pages), or working papers (up to four pages), including references. To be considered, papers must be received by the submission . Submissions must be original work and may not be under submission to another venue at the time of review. Please mark all of your conflicts of interest when submitting your paper. Papers should be in IEEE conference format. Templates can be found at https://www.ieee.org/conferences/publishing/templates.html.

Presentation Form

All accepted submissions will be presented at the conference and are planned to be included in an IEEE conference proceedings. One author of each accepted paper is required to attend the conference and present the paper for it to be included in the proceedings. Please note that at least one author must register with the author (IEEE member or IEEE nonmember categories), even if the author is a student or otherwise.

Submission Website

All presented papers (both full and working-length papers) will be published in the conference proceedings and submitted to the IEEE Xplore Digital Library.

To submit a full length paper or working paper, please go to our EasyChair submission site at: https://easychair.org/conferences/?conf=icaa24

Supported By

Contact Us

Please send comments and questions to auroraschmidt "at" gmail "dot" com.

Keynote Speakers

Picture of Dr. Alvaro Velasquez
Dr. Alvaro Velasquez, Keynote: October 11th
Information Innovation Office (I2O), DARPA

Alvaro Velasquez is a program manager at DARPA, where he currently leads programs on neuro-symbolic and adversarial AI. Before that, Alvaro oversaw the machine intelligence portfolio for the Information Directorate of the Air Force Research Laboratory (AFRL). Alvaro is a recipient of the distinguished paper award from AAAI and best paper and patent awards from AFRL. He has authored over 80 papers and two patents, serves as Associate Editor of the IEEE Transactions on Artificial Intelligence, and is a co-founder of the Neuro-symbolic Systems (NeuS) conference. Alvaro will present on the topic of, “Transferring Assured Autonomy from Abstraction to Reality.” Foundation models, including Chat-GPT and its many variants, have come into prominence in the natural language processing (NLP) community thanks the ubiquity of text data readily available on the internet and the design of modern transformer architectures that can effectively learn from such data. However, the development of a foundation model for autonomy is faced with additional challenges not present in NLP. In this talk, we discuss some of these challenges, how abstract-to-real autonomy transfer is a promising direction, and what the downstream implications of such transfer are in terms of preserving the assurance of systems from the source environment to the target.

Picture of Dr. Dragos Margineantu
Dr. Dragos Margineantu, Keynote: October 10th
Boeing AI Chief Technologist

Dragos Margineantu is a Boeing Senior Technical Fellow and Artificial Intelligence (AI) Chief Technologist who is the technical lead of AI research and engineering in Boeing. His interests include computational methods for robust systems, autonomous commercial flight, anomaly and surprise detection & handling, reasoning under uncertainty, validation and testing of decision systems, cost-sensitive, active, ensemble learning, and inverse reinforcement learning. Dragos was one of the pioneers in research on ensemble learning and cost-sensitive learning and on statistical testing of learned models. At Boeing, he developed assurance methods for decision systems, machine learning based solutions for autonomous flight, airplane maintenance, airplane performance, surveillance, and security. Margineantu served as the Boeing principal investigator (PI) of multiple Defense Advanced Research Projects Agency (DARPA) projects and chaired major ML and data science conferences. Margineantu serves as the Action Editor for Special Issues for the Machine Learning Journal (MLj), edited by Springer. He co-advised graduate students at Massachusetts Institute of Technology (MIT) and KU Leuven in Belgium, served on Canada Research Chair committees, and on NSF review panels. Together with Mohamed Zaki and Sanjay Chawla, he started and co-chaired the Machine Learning Data Analytics Symposia (MLDAS) series since 2014. In his free time Dragos is coaching middle schoolers for mathematics competitions and enjoys nature photography. Dragos Margineantu earned a Ph.D. in Machine Learning from Oregon State University in 2001.

Organization

Aurora Schmidt

Conference Chair
Johns Hopkins University Applied Physics Laboratory

James Weimer

Program Committee Chair
Vanderbilt University

Akshay Rajhans

Program Committee Co-chair
Mathworks, Inc.

Christopher Rouff

Finance Chair
Johns Hopkins University Applied Physics Laboratory

Ivan Papusha

Publicity Chair
Subgradient, Inc.

Roy Sterritt

Publication Chair
Ulster University

Forrest Laine

Local Chair
Vanderbilt University

Michael Wilbur

Workshops Co-chair
Johns Hopkins University Applied Physics Laboratory

Meiyi Ma

Workshops Co-chair
Vanderbilt University

Steering Committee

James Bellingham

Institute for Assured Autonomy Johns Hopkins University

Anton Dahbura

Institute for Assured Autonomy Johns Hopkins University

Gabor Karsai

Vanderbilt University

Sandeep Neema

Vanderbilt University

Lanier Watkins

Institute for Assured Autonomy Johns Hopkins University


Technical Program Committee

Matthias Althoff, Technical University of Munich

Alessandro Biondi, Scuola Superiore Sant'Anna

Paul Bogdan, University of Southern California

Sanjoy Baruah, Washington University in St. Louis

Yinzhi Cao, Johns Hopkins University

Jyotirmoy Deshmukh, University of Southern California

Chinwendu Enyioha, University of Central Florida

Georgios Fainekos, Toyota NA R&D

Lipsy Gupta, Kansas State University

Radoslav Ivanov, Rensselaer Polytechnic Institute

Taylor T Johnson, Vanderbilt University

Fanxin Kong, University of Notre Dame

Xenofon Koutsoukos, Vanderbilt University

Jared Markowitz, Johns Hopkins University Applied Physics Laboratory

Anastasia Mavridou, KBR / NASA Ames Research Center

Stefan Mitsch, DePaul University

Ian Mitchell, The University of British Columbia

Alessandro Papadopoulos, Mälardalen University

Christopher Rouff, Johns Hopkins University Applied Physics Laboratory

Yasser Shoukry, University of California, Irvine

Houbing Song, University of Maryland, Baltimore County

Oleg Sokolsky, University of Pennsylvania

Ali Tekeoglu, University of New Brunswick & Canadian Institute for Cybersecurity

Eduardo Tovar, Polytechnic Institute of Porto

Kyriakos Vamvoudakis, Georgia Institute of Technology

Marilyn Wolf, University of Nebraska

Previous Editions

Registration

Registration is Open!!! (as of Oct 3). Please note that the early registration deadline and Author Registration deadlines are October 7th. Click here to Register!

Early Registration Deadline: September 17, 2024 October 7, 2024

Author Registration Deadline: September 17, 2024 October 7, 2024

CATEGORY EARLY FEE REGULAR FEE
Authors (IEEE Member) 700 800
Authors (Non IEEE Member) 840 960
Participant IEEE Member 200 300
Participant: Non Member 240 360
Student - IEEE 150 250
Student - Non IEEE 180 300
Virtual non-authors 100 200
Please note that each paper requires an author to register at the Author rate (either "Author IEEE Member" or ""Author Non IEEE Member"). This is necessary for each paper to appear in the proceedings (both long and short-form papers). If you are a student but you are also the only registrant for a paper, use the author rate. If you have any questions about what category your registration would be, please send them to auroraschmidt "at" gmail "dot" com.

Program Schedule

All times are given in Central Daylight Time (GMT -05:00)

Day 1, October 10th Event Details
8:00 - 9:00 Check-in Coffee/Breakfast 
9:00 - 10:00 Keynote 1 Dr. Dragos Margineantu
10:00 - 10:30 Break / Coffee
10:30 - 11:45 Session 1  Full Paper Presentations

"Designing Robust Cyber-Defense Agents with Evolving Behavior Trees." Nicholas Potteiger, Ankita Samaddar, Hunter Bergstrom and Xenofon Koutsoukos (10:30 AM – 10:55 AM)

"Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical Systems." Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark and Radha Poovendran (10:55 AM – 11:20 AM)

"Domain Knowledge Elicitation for Data Curation to Promote Trustworthiness in Artificial Intelligence." Mary Versa Clemens-Sewall, Emma Rafkin and Christopher Cervantes (11:20 AM – 11:45 AM)
11:45 - 13:15 Lunch (on your own, lunch not provided)
13:15 - 14:30 Session 2 Full Paper Presentations

"Graph-Based Grounding in a Conversational Clinical Decision Support System. Samuel Barham, Michael Kelbaugh, Arun Reddy, Devin Ramsden, Chase Chandler, Adam Tobin-Williams, Ben Elhadad, Georgia Cooper and Kari Alexander (13:15 – 13:40)

"Estimating Data Requirements for Learning-Enabled Systems using Metadata." Chi Phuong Ngoc Huynh and James Weimer (13:40 – 14:05)

"Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue." Yunuo Zhang, Luo Baiting, Ayan Mukhopadhyay, Daniel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon Koutsoukos, Gabor Karsai and Abhishek Dubey (14:05 – 14:30)
14:30 - 15:00 Break / Coffee
15:00 - 17:00 Work-in-Progress Talks / Poster Session Work-in-Progress papers will have lightning talks followed by a poster session

"New Framework for Defining Command and Control Structure of Complex Aviation Systems." Walter Bender and Michael Castle (15:00 – 15:06)

"Mixed-Reality Testbed for Autonomous Fixed-Wing UAVs Human-Autonomy Teaming." Worawis Sribunma, Chuhao Deng, Li-Yu Lin, James Goppert, Sabine Brunswicker and Joe Roberts (15:06 – 15:12)

"Towards Verification-Driven Control Reinforcement Learning in Autonomous Systems." Stefan Mitsch (15:12 – 15:18)

"Leveraging RAG-LLM to Translate C++ to Rust." Ahmet Okutan, Samuel Merten, Christoph Michael and Benjamin Ryjikov (15:18 – 15:24)

"Towards Trustworthy Distributed AI Demand Response." Raphael Norman-Tenazas, Cameron Hickert, Tamim Sookoor, Aurora Schmidt, Edward Staley, Joseph Maurio, Jesse Silverberg, Paul Wood and Yair Amir (15:24 – 15:30)

"Analyzing Neural Network Robustness Using Graph Curvature." Shuhang Tan, Jayson Sia, Paul Bogdan and Radoslav Ivanov (15:30 – 15:36)

"Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation." William English, Dominic Simon, Md Rubel Ahmed, Sumit Jha and Rickard Ewetz (15:36 – 15:42)

"Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models." Sumit Kumar Jha, Susmit Jha, Rickard Ewetz and Alvaro Velasquez (15:42 – 15:48)

"Reliability Evaluation of CNN-enabled Systems in Adversarial Scenarios." Karen da Mata, Zakaria Faddi, Priscila Silva, Vidhyashree Nagaraju, Susmita Ghosh, Gokhan Kul and Lance Fiondella (15:48 – 15:54)
17:00 - 19:00 Reception with Light Refreshments
Day 2, October 11th Event Details
8:00 - 9:00 Check-in Coffee/Breakfast 
9:00 - 10:00 Keynote 2 Dr. Alvaro Velasquez
10:00 - 10:30 Break / Coffee
10:30 - 11:45 Session 3  Full Paper Presentations

"Dynamic View Translation for Robust Multi-Agent Autonomy." Grayson Byrd, Dan Zhang, Feng Luo and Venkat Krovi (10:30 AM – 10:55 AM)

"GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems." Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Sichuang Li, Kyle Kessler, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty (10:55 AM – 11:20 AM)

"Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems." Zifan Wang, Qinru Qiu and Fanxin Kong (11:20 AM – 11:45 AM)
11:45 - 13:15 Lunch (on your own, lunch not provided)
13:15 - 17:00 Workshops Birds of a Feather Break-out Sessions and Panel Discussion

Workshop 1: Recent Trends and Challenges in Sequential Decision-Making

Workshop 2: Safe Autonomous Medical Systems

In this birds of a feather session, we will have a moderated discussion on the challenges and opportunities in safely automating medical-related systems spanning patient diagnostics, invasive procedures, and emergency services. The aim of this session is to share experiences, ongoing work, and potential impactful directions in an effort to spawn collaboration and innovation within autonomous medical systems. The forum will begin with a brief synopsis of participants experiences and current research directions, followed by a moderated discussion where all participants are encouraged to express their own experiences in this hard-to-penetrate domain.
17:00 - 17:15 Conference Wrap-Up

Venue Location

The ICAA'24 is being held in the Jacobs-Featheringill Hall in the Vanderbilt School of Engineering.

The physical address for participants to find Featheringill or “FGH” is: 400 24th Avenue South, Nashville, TN 37240.

The main session(s) will be held in the lecture hall 134.
The workshop/breakout rooms are 132 (Workshop 1) and 136 (Workshop 2), on either side of the lecture hall.

The lunch/breaks/reception will be held in the atrium outside of the lecture hall (shown in purple in the map). Registration tables will also be located there, as well as the poster session.
Map of First Floor of Jacobs-Featheringill

Lodging

Following are near by hotels around the conference venue.

Holiday Inn Vanderbilt/Laurel:
Distance from Vanderbilt: 0.6 mile
615-327-4707
2613 West End Ave, Nashville, TN 37203
Nashville, TN 37203

 

Hampton Inn & Suites Nashville-Vanderbilt-Elliston Place:
Distance from Vanderbilt: 0.6 mile
615-320-6060
2330 Elliston Pl, Nashville, TN 37203
Nashville, TN 37203

 

Nashville Marriott at Vanderbilt University :
Distance from Vanderbilt: 0.5 mile
615-321-1300
2555 West End Ave, Nashville, TN 37203
Nashville, TN 37203

 

Embassy Suites Vanderbilt:
Distance from Vanderbilt: 1.4 mile
615-320-8899
1811 Broadway, Nashville, TN 37203
Nashville, TN 37203

 

Accepted Papers

The following is the list of accepted papers, in random order. (Program is forthcoming)

Full Papers

Nicholas Potteiger, Ankita Samaddar, Hunter Bergstrom and Xenofon Koutsoukos. "Designing Robust Cyber-Defense Agents with Evolving Behavior Trees"

Grayson Byrd, Dan Zhang, Feng Luo and Venkat Krovi. "Dynamic View Translation for Robust Multi-Agent Autonomy"

Luyao Niu, Hongchao Zhang, Dinuka Sahabandu, Bhaskar Ramasubramanian, Andrew Clark and Radha Poovendran. Who is Responsible? "Explaining Safety Violations in Multi-Agent Cyber-Physical Systems"

Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Sichuang Li, Kyle Kessler, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala and Samarjit Chakraborty. "GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems"

Zifan Wang, Qinru Qiu and Fanxin Kong. "Pinpointing Actuator Attacks: A Novel Diagnostic Framework for Cyber-Physical Systems"

Yunuo Zhang, Luo Baiting, Ayan Mukhopadhyay, Daniel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon Koutsoukos, Gabor Karsai and Abhishek Dubey. "Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue

Mary Versa Clemens-Sewall, Emma Rafkin and Christopher Cervantes. "Domain Knowledge Elicitation for Data Curation to Promote Trustworthiness in Artificial Intelligence"

Samuel Barham, Michael Kelbaugh, Arun Reddy, Devin Ramsden, Chase Chandler, Adam Tobin-Williams, Ben Elhadad, Georgia Cooper and Kari Alexander. "Graph-Based Grounding in a Conversational Clinical Decision Support System"

Chi Phuong Ngoc Huynh and James Weimer. "Estimating Data Requirements for Learning-Enabled Systems using Metadata"
 

Work-in-Progress Short Papers

Karen da Mata, Zakaria Faddi, Priscila Silva, Vidhyashree Nagaraju, Susmita Ghosh, Gokhan Kul and Lance Fiondella. "Reliability Evaluation of CNN-enabled Systems in Adversarial Scenarios"

Walter Bender and Michael Castle. "New Framework for Defining Command and Control Structure of Complex Aviation Systems"

Worawis Sribunma, Chuhao Deng, Li-Yu Lin, James Goppert, Sabine Brunswicker and Joe Roberts. "Mixed-Reality Testbed for Autonomous Fixed-Wing UAVs Human-Autonomy Teaming"

Ahmet Okutan, Samuel Merten, Christoph Michael and Benjamin Ryjikov. "Leveraging RAG-LLM to Translate C++ to Rust"

Raphael Norman-Tenazas, Cameron Hickert, Tamim Sookoor, Aurora Schmidt, Edward Staley, Joseph Maurio, Jesse Silverberg, Paul Wood and Yair Amir. "Towards Trustworthy Distributed AI Demand Response"

Shuhang Tan, Jayson Sia, Paul Bogdan and Radoslav Ivanov. "Analyzing Neural Network Robustness Using Graph Curvature"

William English, Dominic Simon, Md Rubel Ahmed, Sumit Jha and Rickard Ewetz. "Neuro-Symbolic Program Synthesis for Multi-Hop Natural Language Navigation"

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz and Alvaro Velasquez. "Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models"