The ISIS 25th Anniversary Celebration poster session will be held on Thursday, September 7 at 4:45 p.m. followed by a reception at 6:00 p.m.

A Reinforcement Learning Approach to Supervisory Control of UAVs for Handling 
Wind Disturbances
Austin Coursey, Marcos Quinones-Grueiro, Ibrahim Ahmed, Gautam Biswas 

A Testbed to Simulate and Analyze Secure and Resilient Cyber-Physical Systems
William Emfinger, Pranav Srinivas Kumar, Gabor Karsai 

AbLECPS: Unmanned Underwater Vehicle example for Assurance based Learning 
Enabled Cyber Physical Systems
Daniel Stojcsics, Nagabhushan Mahadevan, Dimitrios Boursinos, Xenofon Koutsoukos, Gabor Karsai

Analysis of Runtime Data Sharing Architecture over LTE for Heterogeneous CAV Fleet
Alex Richardson, Matthew Nice, Matt Bunting, Jonathan W. Lee, Rahul Bhadani, Dan Work, Jonathan Sprinkle 

Animal-Borne Acoustic Gunshot Detector
György Kalmár, George Wittemyer, Péter Völgyesi, Henrik B. Rassmussen, Miklós Maróti, Ákos Lédeczi 

Auto311: A Confidence-guided Automated System for Non-emergency Calls
Zirong Chen, Xutong Sun, Yuanhe Li, Meiyi Ma 

BehaVerify: Verification for Behavior Trees
Serena Serbinowska, Taylor T. Johnson 

Bayesian Physics-informed Models for Soft Robotics
Peilun Li, Thomas Beckers 

ChimeraPy: Distributed Computing Framework for Multimodal Data Integrations
Eduardo Davalos, Umesh Timalsina, Joyce Fonteles, Caleb Vatral, Nicole Hutchins, Gautam Biswas 

Comparison of Data Driven Approaches to System-Level Prognostics
Abel Diaz-Gonzalez, Austin Coursey, Marcos Quinones-Grueiro, Gautam Biswas 

Computer Science Frontiers for K-12
Ákos Lédeczi 

Cooperative Multi-Agent Reinforcement Learning for Large Scale Variable Speed Limit Control
Yuhang Zhang, Marcos Quinones-Grueiro, William Barbour, Zhiyao Zhang, Joshua Scherer, Gautam Biswas, Daniel Work 

DARPA Spectrum Challenges: Building Prize-winning Radios
Team MarmotE 

Data-Driven Optimization for Smart Transportation Systems
Abhishek Dubey, Samitha Samaranayake, Aron Laszka, Mina Sartipi, Lillian Ratliff, Michael Wilbur, Sophie Pavia, Rishav Sen, Ayan Mukhopadhyay, Philip Pugliese, Chandra Ward, Paul Speer, Shadi Omidvar, Savannah Ward 

Defend Data Poisoning Attacks on Voice Authentication
Ke Li, Cameron Baird, Dr. Dan (Linda) Lin 

Domain-­Specific Modeling Techniques for Cyber-­Physical Systems
Jonathan Sprinkle, MaE BunGng 

DREMS: A Toolchain and Platform for Rapid Application Development, Integration, and Deployment of Managed Distributed Real-time Embedded Systems
William Emfinger, Abhishek Dubey, William R. Otte, Aniruddha Gokhale, Gabor Karsai 

Exploring Embodied Learning through MMLA: Mapping Movement and Gaze for Insights
Eduardo Davalos Anaya, Joyce Horn Fonteles, Grabriella Anton, Nicole Hutchins, Umesh Timalsina, Noel Enyedy, Gautam Biswas 

FedACA: An Adaptive Communication Efficient Asynchronous Framework for Federated Learning
Shuang Zhou, Yuankai Huo, Shunxing Bao, Bennett Landman and Aniruddha Gokhale 

The I-24 MOTION Testbed: Open-road testbed for traffic science, control, and CAV experiments
Dan Work, William Barbour, Meredith Cebelak, Matt D’Angelo, Lee Smith, Gergely Zachár, Derek Gloudemans, Yanbing Wang, Junyi Ji 

Inferenced Formal Logic Properties Guided Federated Learning
Ziyan An, Meiyi Ma 

Integrated Safety Incident Forecasting and Analysis
Yevgeniy Vorobeychik, Gautam Biswas, Abhishek Dubey, Geoffrey Pettett, Ayan Mukhopadhyay 

JUNO2: Collaborative Research: STEAM: Secure and Trustworthy Framework for Integrated Energy and Mobility in Smart Connected Communities 
Sajal K. Das, Abhishek Dubey, Shameek Bhattacharjee, Hayato Yamana, Keiichi Yasumoto, Hirozumi Yamaguchi, Michael Wilbur, Geoffrey Pettet, Venkat Praveen Madhavarapu 

Libpanda: Vehicles as Research Instruments
Matt Bunting, Matthew Nice, Jonathan Sprinkle, Dan Work 

MoveOD: A Data Pipeline for Synthesizing Origin-Destination Demand Using 
Open-Source Demographic Data
Rishav Sen, Ayan Mukhopadhyay, Abhishek Dubey 

Network Analysis Paradigm for Detecting and Mitigating Attacks from Malicious Actors
William Emfinger, Gabor Karsai 

NeuroGraph: Benchmarks for Graph Machine Learning in Brain Connectomics
Anwar Said, Roza G. Bayrak, Tyler Derr, Mudassir Shabbir, Daniel Moyer, Catie Chang, Xenofon Koutsoukos 

NNV: A Verification Tool for Deep Neural Networks and Learning-Enabled 
Cyber-Physical Systems
Diego Manzanas Lopez, Neelanjana Pal, Taylor T Johnson 

Open Architecture Software Standards: Future Airborne Capability EnvironmentTM (FACE)
Robert Daniels, Di Yao, Will Banks, Robert Owens, Fred Eisele, Harmon Nine, Joseph Hite, Jason Scott, Ted Bapty 

PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy
Hanchen David Wang, Meiyi Ma 

Reinforcement-Learning Based Performance-Aware Power Reduction in Exascale Computing: Strategies for Application-Agnostic Agents
Akhilesh Raj, Swann Perarnau, Aniruddha Gokhale 

Resilient Distributed Actor-Critic Algorithms
Chandreyee Bhowmick, Jiani Li, Xenofon Koutsoukos 

Resilient Traffic Light Control
Bradley Potteiger, Peter Volgyesi, Eugene Vorobeychik, Aron Laszka, Xenofon Koutsoukos 

Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in 
Empirical Models
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma 

Symbench: AI-Assisted CPS Design: DARPA Symbiotic Design for Cyber Physical Systems
Peter Volgyesi 

Virtual Organizations for Scientific Research
Jonathan Sprinkle, Katie Dey, Stephen Rees