Conference Program

Tuesday, May 12, 2026.

10:30  – 11:45 AM : Joint Keynote Session # 1 – ASD

Moderator: Dirk Ziegenbein (Bosch, Germany)   Room: Rotonde Surcouf (Level 2)

Oliver Rogalla (Airbus Defense and Space), The Sovereignty Paradox – Safe AI for Aerospace Autonomous Systems.

11:45 – 12:30 PM : Session ASD/LEA1 – Adaptive Perception for Autonomous Systems.

Moderator: Dirk Ziegenbein (Bosch, Germany)  Room: Vauban 2 (Level 2)

  • 11:45 – 12:15 : SmartFusion-SLAM: From Passive Fusion to Temporal Uncertainty-Aware Sensor Adaptation in BEV SLAM, Zixia Xia, Marco Levorato (University of California, Irvine)
  • 12:15 – 12:30 : Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving, QiTao Weng, Heechul Yun (University of Kansas)

11:45 – 12:30 PM : Session F1 – Differentiable Causal Modeling and Data-Driven Control

Moderator Ricardo Sanfelice (University of California Santa Cruz) Room: Bouvet (Level 1)

  • 11:45 – 12:15 : ∂CBDs: Differentiable Causal Block Diagrams, Thomas Beckers (Vanderbilt University); Ján Drgoňa (Johns Hopkins University); Truong X. Nghiem (University of Central Florida)
  • 12:15 – 12:30 : Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstractions, Ibon Gracia, Morteza Lahijanian (University of Colorado Boulder)

11:45  – 12:30 PM : Session S1 – Secure and Adaptive Vehicular Routing

Moderator: Miroslav Pajic (Duke University). Room: Rotonde Surcouf (Level 2)

  • 11:45 – 12:15 : Dynamic Vehicle Routing Problem with Prompt Confirmation of Advance Requests, Amutheezan Sivagnanam (Pennsylvania State University); Ayan Mukhopadhyay (Vanderbilt University); Samitha Samaranayake (Cornell University); Abhishek Dubey (Vanderbilt University); Aron Laszka (Pennsylvania State University)
  • 12:15 – 12:30 : Adversarial Reinforcement Learning for Detecting False Data Injection Attacks in Vehicular Routing, Taha Eghtesad (Pennsylvania State University); Yevgeniy Vorobeychik (Washington University in St. Louis); Aron Laszka (Pennsylvania State University)

12:30 – 14:00 Lunch Break

14:00 – 16:00 : ASD Session 2: Autonomy in Practice

Room: Vauban 2 (Level 2)

  • 14:00 – 15:00: Session 2a: Affordable Autonomy. Moderator: Selma Saidi (TU Braunschweig, Germany)
    • Affordable Onboard Localization for UAVs via Perception-Control Co-Design, Marilyn Wolf (Univ. of Nebraska, U.S.A.)
    • Affordable Mobile Systems Autonomy via Function Offloading, Tasuku Ishigooka (ASTEMO Ltd, Japan)
  • 15:00 – 16:00: Session 2b: Safeguarding AI in Autonomous Vehicles. Moderator: Sebastian Steinhorst (TU Munich, Germany).
    • Building Safe and Scalable Autonomous Driving Systems, Charbel Assaf (Momenta Europe, Germany)
    • The AI Safety Spectrum: Explicit Rules and Emergent Behaviors, Steffen Knoop (Bosch, Germany)

14:00 – 16:00 : Session F2 – Formal Methods and Uncertainty

Moderator: Sriram Sankaranarayanan (University of Colorado Boulder) Room: Bouvet (Level 1)

  • 14:00 – 14:30 : Solving quantified constraint satisfaction problems with applications to control, Eric Goubault, Nuwan Herath Mudiyanselage, Sylvie Putot (LIX, CNRS, École polytechnique, Institut Polytechnique de Paris)
  • 14:30 – 15:00: Verification of High-Dimensional LTI Systems using Reachability Analysis in the Krylov Subspace and Support Functions, Maximilian Perschl, Matthias Althoff (Technische Universität München)
  • 15:00 – 15:30: Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation, Peter Amorese, Morteza Lahijanian (University of Colorado Boulder)
  • 15:30 – 15:45: Output-derivative-triggered control with MATI timeouts, Masako Kishida (University of Tsukuba)
  • 15:45 – 16:00: discretize_distributions: Efficient Quantization of Gaussian Mixtures with Guarantees in Wasserstein Distance, Steven Adams (Delft University of Technology (TU Delft)); Elize Alwash (Ecole Polytechnique Federale de Lausanne (EPFL)); Luca Laurenti (Delft University of Technology (TU Delft))

14:00 – 16:00 : Session S2 – Testing and Falsification

Moderator: Stanley Bak (University of Stonybrook, USA) Room: Rotonde Surcouf (Level 2)

  • 14:00 – 14:30: Declarative Scenario-based Testing with RoadLogic,  Ezio Bartocci (TU Wien); Alessio Gambi (AIT Austrian Institute of Technology); Felix Gigler (TU Wien, AIT Austrian Institute of Technology); Cristinel Mateis, Dejan Ničković (AIT Austrian Institute of Technology)
  • 14:30 – 15:00: Predicate Coverage Driven Automatic Scenario Generation for Autonomous Vehicles, Abolfazl Karimi, Parasara Sridhar Duggirala (University of North Carolina at Chapel Hill)
  • 15:00 – 15:30: RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection, Kohei Tsujio, Mohammad Al Faruque, Yasser Shoukry (University of California, Irvine)
  • 15:30 – 16:00: Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression, Lasse Kötz, Knut Åkesson, Jonas Sjöberg (Chalmers University of Technology)

16:00 – 16:30 Coffee Break

16:30 – 18:00 : ASD Panel Session

Moderators: Selma Saidi (TU Braunschweig, Germany); Sebastian Steinhorst (TU Munich, Germany) Room: Vauban 2 (Level 2)

Is Autonomy Ready for Primetime?

Panelists: Oliver Rogalla (Airbus Defense and Space), Marilyn Wolf (Univ. of Nebraska, U.S.A.), Tasuku Ishigooka (ASTEMO Ltd, Japan), Charbel Assaf (Momenta Europe), Steffen Knoop (Bosch).

16:30 – 18:00 : Session F3 – Control Systems and Stability

Moderator: Sylvie Putot (Ecole Polytechnique) Room: Bouvet (Level 1)

  • 16:30 – 17:00: Active Localization of Unstable Systems with Coarse Information, Ege Yuceel, Daniel Liberzon, Sayan Mitra (University of Illinois Urbana-Champaign)
  • 17:00 – 17:30: Succinct Synthesis of Multiple Lyapunov Certificates for Switched Systems, Alessandro Abate, Virginie Debauche (University of Oxford); Mirco Giacobbe, Diptarko Roy (University of Birmingham)
  • 17:30 – 18:00: A path-complete approach for optimal control of switched systems, Léa Ninite, Adrien Banse, Guillaume O. Berger, Raphaël M. Jungers (UCLouvain)

16:30 – 18:00 : Session S3 – Planning

Moderator: Morteza Lahijanian (University of Colorado Boulder)   Room: Rotonde Surcouf (Level 2)

  • 16:30 – 17:00 : Informed Hybrid Zonotope-based Motion Planning Algorithm, Peng Xie, Johannes Betz, Amr Alanwar (Technical University of Munich)
  • 17:00 – 17:30 : Data-Driven Reachability Analysis Using Matrix Perturbation Theory, Peng Xie, Abdullah Fawzy, Zhen Zhang, Amr Alanwar (Technical University of Munich)
  • 17:30 – 18:00 : LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning, Ziyan An, Xia Wang (Vanderbilt University); Hendrik Baier (Eindhoven University of Technology); Zirong Chen, Abhishek Dubey, Ayan Mukhopadhyay, Taylor T Johnson, Jonathan Sprinkle, Meiyi Ma (Vanderbilt University)

Wednesday, May 13, 2026.

10:30 – 11:45: Joint Keynote Session # 2

Moderator: Sriram Sankaranarayanan    Room: Rotonde Surcouf (Level 2)

Raphael Jungers (UC Louvain), Sample-Based Safety-Critical Decision Making.

11:45 – 12:30: Session LEA2 – Strategic Learning and Falsification

Moderator: Sriram Sankaranarayanan (University of Colorado Boulder) Room: Bouvet (Level 1)

  • 11:45 – 12:15 : Weak Feedback Stackelberg Equilibrium for Hierarchical Cyber-Physical Systems, Pravesh Koirala, Forrest Laine (Vanderbilt University)
  • 12:15 – 12:30 : Falsification of Cyber-Physical Systems using Causation-aware Reinforcement Learning, Sauvik Gon, Atanu Kundu, Rajarshi Ray (Indian Association for the Cultivation of Science, Kolkata)

11:45 – 12:30 Session S4 – Analytics and Resource Allocation

Moderator: Salma Elmaliki (University of California Irvine) Room: Rotonde Surcouf (Level 2)

  • 11:45 – 12:15 : ReACT-TTC: Capacity-Aware Top Trading Cycles for Post-Choice Reassignment in Shared CPS, Anurag Satpathy, Arindam Khanda (Missouri University of Science and Technology); Chittaranjan Swain (Indian Institute of Information Technology and Management Gwalior); Sajal K. Das (Missouri University of Science and Technology)
  • 12:15 – 12:30 : MoveOD: Synthesizing Origin-Destination Commute Distribution from U.S. Census Data, Rishav Sen, Jose Paolo Talusan, Abhishek Dubey, Ayan Mukhopadhyay (Vanderbilt University); Samitha Samaranayake (Cornell University); Aron Laszka (Pennsylvania State University)

12:30 – 14:00 Lunch Break

14:00 – 16:00: Session LEA3 – Safe Learning, Monitoring, and Trustworthy Models

Moderator: Ivan Ruchkin (University of Florida) Room: Bouvet (Level 1)

  • 14:00 – 14:30 : LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy, Hsin-Jung Yang, Zhanhong Jiang (Iowa State University); Prajwal Koirala (Cornell University); Qisai  Liu, Cody Fleming, Soumik Sarkar (Iowa State University)
  • 14:30 – 15:00 : Vulnerability Exploration of Safe Reinforcement Learning in Cyber-Physical Systems via STL Mining, Jialiang Fan, Shixiong Jiang (University of Notre Dame); Mengyu Liu (Washington State University); Fanxin Kong (University of Notre Dame)
  • 15:00 – 15:30 : LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning, Dung Thuy Nguyen, Ziyan An, Taylor Johnson, Meiyi Ma, Kevin Leach (Vanderbilt University)
  • 15:30 – 16:00 : Learning Contextual Runtime Monitors for Safe AI-Based Autonomy, Alejandro Luque Cerpa, Mengyuan Wang (Chalmers University of Technology); Emil Carlsson (Sleep Cycle AB); Sanjit A. Seshia (University of California, Berkeley); Devdatt Dubhashi, Hazem Torfah (Chalmers University of Technology)

14:00 – 16:00 Session S5 – Safety, Security, and Resilience in Critical Infrastructure

Moderator: Marilyn Wolf (University of Nebraska Lincoln) Room: Rotonde Surcouf (Level 2)

  • 14:00 – 14:30 : Set-Based Estimation Using Probabilistic Zonotopes to Ensure the Safety of Occluded Pedestrians, Vandana Narri (KTH Royal Institute of Technology and Scania AB); Zhen Zhang, Amr Alanwar (Technical University of Munich); Karl Henrik Johansson (KTH Royal Institute of Technology)
  • 14:30 – 15:00 : ReVISE: Disrupting Industrial Control Processes with Timing-Aware PLC Variable Manipulation, Syed Ghazanfar Abbas (Purdue University); Muslum Ozgur Ozmen (Arizona State University); Dave (Jing) Tian, Z. Berkay Celik (Purdue University); Ashish Kundu (Cisco Research); Dongyan Xu (Purdue University)
  • 15:00 – 15:30 : P-V2B: A Neuro-Symbolic Framework for Leveraging User Persistence in Vehicle-to-Building Charging, Rishav Sen, Fangqi Liu, Jose Paolo Talusan (Vanderbilt University); Ava Pettet, Yoshinori Suzue (Nissan Advanced Technology Center – Silicon Valley); Ayan Mukhopadhyay, Abhishek Dubey (Vanderbilt University)
  • 15:30 – 16:00 : C-BADE: Concept‑Based Anomaly Detection and Explanation Using Genetic Algorithm for Power Grids, Diwash Pokharel (University of Arkansas); Qinghua Li (Department of Computer Science and Computer Engineering, University of Arkansas)

Thursday, May 14, 2026.

10:30 – 11:45: Systems and Applications Track Keynote

Moderator: Miroslav Pajic (Duke University) Room: Rotonde Surcouf (Level 2)

Samarjit Chakraborty (UNC, Chapel-Hill), Deep brain stimulation: What’s in it for us?

11:45 – 12:30 Session LEA4 – Interpretable Representation Learning

Moderator: Raphael Jungers (UC Louvain) Room: Bouvet (Level 1)

  • 11:45 – 12:15 Physically Interpretable World Models via Weakly Supervised Representation Learning, Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin (University of Florida)

11:45 – 12:30 Session S6 – Resource-Aware and AI-Enabled Platforms

Moderator: Miroslav Pajic (Duke University). Room: Rotonde Surcouf (Level 2)

  • 11:45 – 12:15 : DCoPilot: Generative AI-Empowered Policy Adaptation for Dynamic Data Center Operations, Minghao LI, Ruihang Wang, Rui Tan, Yonggang Wen (Nanyang Technological University)
  • 12:15 – 12:30 : TinyML Enhances CubeSat Mission Capabilities, Luigi Capogrosso (Interdisciplinary Transformation University of Austria); Michele Magno (ETH Zurich)

12:30 – 13:30 Lunch Break

13:30 – 15:30 Session F4 – Hybrid Inference, Reachability, and Stability

Moderator: Eric Goubault (Ecole Polytechnique) Room: Bouvet (Level 1)

  • 13:30 – 14:00 : Derivative-Agnostic Inference of Nonlinear Hybrid Systems, Hengzhi Yu, Bohan Ma, Mingshuai Chen, Huangying Dong (Zhejiang University); Jie An (Institute of Software, Chinese Academy of Sciences); Bin Gu (Beijing Institute of Control Engineering); Naijun Zhan (Peking University); Jianwei Yin (Zhejiang University)
  • 14:00 – 14:30 : Orthogonal Transformations for Efficient Data-Driven Reachability Analysis, Peng Xie, Amr Alanwar (Technical University of Munich)
  • 14:30 – 15:00 : On Input-to-State Stability for a Class of Stochastic Hybrid Systems, Carlos A. Montenegro G., Daniel E. Ochoa, Ricardo G. Sanfelice (University of California, Santa Cruz)
  • 15:00 – 15:30 A Complete Ordering of Path-complete Lyapunov Functions with Composition-closed Templates, Andrew Wintenberg, Raphael Jungers (UCLouvain)

13:30 – 15:30 Session S7 – Deployed CPS Platforms

Moderator: Yasser Shoukry (University of California Irvine) Room: Rotonde Surcouf (Level 2)

  • 13:30 – 14:00 : Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation, Yangge Li, Benjamin C Yang (University of Illinois at Urbana-Champaign); Sayan Mitra (University of Illinois Urbana Champaign)
  • 14:00 – 14:30 : Resource-Conscious RL Algorithms for Deep Brain Stimulation, Arkaprava Gupta, Nicholas Carter, William Jackson Zellers, Prateek Ganguli (The University of North Carolina at Chapel Hill); Benedikt Dietrich (Hochschule München University of Applied Sciences); Vibhor Krishna, Parasara Sridhar Duggirala, Samarjit Chakraborty (The University of North Carolina at Chapel Hill)
  • 14:30 – 15:00 : MRTPO-FJSP: A Multi-Resource Three-Phase Operation Flexible Job Shop Problem for Manufacturing Cyber-Physical Systems, Hui-Wen Yang (Institute of Manufacturing Information and Systems, National Cheng Kung University); Yean-Ru Chen, Tien-Fu Li (Department of Electrical Engineering, National Cheng Kung University); Pei-Hsuan Tsai (Institute of Manufacturing Information and Systems, National Cheng Kung University)
  • 15:00 – 15:15 : SchoolRide: A Platform for School Bus Disruption Management and Operational Resilience, Vakul Nath, Fangqi Liu, Guocheng He, David Rogers, Ajay Chhokra, JP Talusan, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey (Vanderbilt University)
  • 15:15 – 15:30 : RESPOND: A Modular Platform for Urban Emergency Response Research and Decision Support, Ammar Bin Zulqarnain, Jose Paolo Talusan (Vanderbilt University); Kelly Napier (Nashville Fire Department); Corey Gens, Jennifer Higgs, Colleen Herndon (Metro Government of Nashville and Davidson County); Ayan Mukhopadhyay, Abhishek Dubey (Vanderbilt University)

15:30 – 16:00 Coffee Break

16:00 – 17:30 Session F5 – Safety and Robustness

Moderator: Guillaume Berger (UC Louvain) Room: Bouvet (Level 1)

  • 16:00 – 16:30 : PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions, Taoran Wu (Institute of Software, Chinese Academy of Sciences); Dominik Wagner, Luke Ong (Nanyang Technological University); Bai Xue (Institute of Software, Chinese Academy of Sciences)
  • 16:30 – 17:00 : Nagumo Invariance Theorem For Constrained Differential Equations in The Case of Polytopic Sets, Olayo Reynaud, Mohamed Maghenem (CNRS, Gipsa-lab, UGA, Grenoble INP); Ahmad Hably (Université Claude Bernard Lyon 1)
  • 17:00 – 17:30 : Certified geometric robustness – Super-DeepG, Noémie Cohen (ONERA); Mélanie Ducoffe (Airbus); Timothée Fayard (ISAE-Supaero); Christophe Gabreau (Airbus); Claire Pagetti, Xavier Pucel (ONERA)

16:00 – 17:30 Session S8 – Learning and Perception

Moderator: Miroslav Pajic (Duke University) Room: Rotonde Surcouf (Level 2)

  • 16:00 – 16:30 : WENFlow: Scalable Attention for Unsupervised Spatiotemporal Anomaly Detection in High-Dimensional Cyber-Physical Systems, Jacob Buckelew, Jose Paolo Talusan (Vanderbilt University);
    Vasavi Sivaramakrishnan (Dominion Energy); Ayan Mukhopadhyay (Vanderbilt University); Anurag Srivastava (West Virginia University); Abhishek Dubey (Vanderbilt University)
  • 16:30 – 17:00 : Robust Self-supervised Depth, Pose and Uncertainty Estimation for Monocular Visual Odometry, Qi Peng, Weiqi Zhang, Zhen Zhang, Zhezhe Hui (College of Information and Control Engineering, Xi’an University of Architecture and Technology)
  • 17:00 – 17:30 : Learning Metastable Dynamics, Rupak Majumdar, Mahmoud Salamati, Nikhil Singh, Sadegh Soudjani (Max Planck Institute for Software Systems, Germany)