{"id":2166,"date":"2026-04-11T19:05:08","date_gmt":"2026-04-11T19:05:08","guid":{"rendered":"https:\/\/hscc.acm.org\/2026\/?page_id=2166"},"modified":"2026-04-23T04:50:15","modified_gmt":"2026-04-23T04:50:15","slug":"conference-program","status":"publish","type":"page","link":"https:\/\/hscc.acm.org\/2026\/conference-program\/","title":{"rendered":"Conference Program"},"content":{"rendered":"\n<h2 id=\"tuesday-may-12-2026.\">Tuesday, May 12, 2026.<\/h2>\n\n\n\n<h4 id=\"am---1230-pm-session-asdlea1---adaptive-perception-for-autonomous-systems.\">10:30&nbsp; &#8211; 11:45 AM : Joint Keynote Session # 1 &#8211; ASD <\/h4>\n\n\n\n<p class=\"has-black-color has-text-color\"><em>Moderator:<\/em> Dirk Ziegenbein (Bosch, Germany)&nbsp; &nbsp;<em>Room: <\/em>Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<p class=\"has-black-color has-text-color\">Oliver Rogalla (Airbus Defense and Space), The Sovereignty Paradox \u2013 Safe AI for Aerospace Autonomous Systems.<\/p>\n\n\n\n<h4 id=\"am---1230-pm-session-asdlea1---adaptive-perception-for-autonomous-systems.\">11:45 &#8211; 12:30 PM : Session ASD\/LEA1 &#8211; Adaptive Perception for Autonomous Systems.<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Dirk Ziegenbein (Bosch, Germany)&nbsp; <em>Room: <\/em>Vauban 2 (Level 2)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : SmartFusion-SLAM: From Passive Fusion to Temporal Uncertainty-Aware Sensor Adaptation in BEV SLAM, <em>Zixia Xia, Marco Levorato (University of California, Irvine)<\/em><\/li><li>12:15 &#8211; 12:30 : Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving,  <em>QiTao Weng, Heechul Yun (University of Kansas)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"am---1230-pm-session-f1---differentiable-causal-modeling-and-data-driven-control\">11:45 &#8211; 12:30 PM : Session F1 &#8211; Differentiable Causal Modeling and Data-Driven Control<\/h4>\n\n\n\n<p><em>Moderator<\/em> Ricardo Sanfelice (University of California Santa Cruz) <em>Room:<\/em> Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : <span class=\"math inline\">\u2202<\/span>CBDs: Differentiable Causal Block Diagrams, <em>Thomas Beckers (Vanderbilt University); J\u00e1n Drgo\u0148a (Johns Hopkins University); Truong X. Nghiem (University of Central Florida)<\/em><\/li><li>12:15 &#8211; 12:30 : Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstractions, <em>Ibon Gracia, Morteza Lahijanian (University of Colorado Boulder)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"am---1230-pm-session-s1---secure-and-adaptive-vehicular-routing\">11:45 &nbsp;&#8211; 12:30 PM : Session S1 &#8211; Secure and Adaptive Vehicular Routing<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Miroslav Pajic (Duke University). <em>Room: <\/em>Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : Dynamic Vehicle Routing Problem with Prompt Confirmation of Advance Requests, <em>Amutheezan Sivagnanam (Pennsylvania State University); Ayan Mukhopadhyay (Vanderbilt University); Samitha Samaranayake (Cornell University); Abhishek Dubey (Vanderbilt University); Aron Laszka (Pennsylvania State University)<\/em><\/li><li>12:15 &#8211; 12:30 : Adversarial Reinforcement Learning for Detecting False Data Injection Attacks in Vehicular Routing, <em>Taha Eghtesad (Pennsylvania State University); Yevgeniy Vorobeychik (Washington University in St. Louis); Aron Laszka (Pennsylvania State University)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"lunch-break\">12:30 &#8211; 14:00 Lunch Break<\/h4>\n\n\n\n<h4 id=\"asd-session-2-autonomy-in-practice\">14:00 &#8211; 16:00 : ASD Session 2: Autonomy in Practice<\/h4>\n\n\n\n<p><em>Room:<\/em> Vauban 2 (Level 2)<\/p>\n\n\n\n<ul><li>14:00 &#8211; 15:00: Session 2a: Affordable Autonomy. <em>Moderator:<\/em> Selma Saidi (TU Braunschweig, Germany) <ul><li>Affordable Onboard Localization for UAVs via Perception-Control Co-Design, <em>Marilyn Wolf (Univ. of Nebraska, U.S.A.)<\/em><\/li><li>Affordable Mobile Systems Autonomy via Function Offloading,<em> Tasuku Ishigooka (ASTEMO Ltd, Japan) <\/em><\/li><\/ul><\/li><li>15:00 &#8211; 16:00: Session 2b: Safeguarding AI in Autonomous Vehicles. <em>Moderator<\/em>: Sebastian Steinhorst (TU Munich, Germany).<ul><li>Building Safe and Scalable Autonomous Driving Systems,  <em>Charbel Assaf (Momenta Europe, Germany)<\/em><\/li><li>The AI Safety Spectrum: Explicit Rules and Emergent Behaviors,  <em>Steffen Knoop (Bosch, Germany) <\/em><\/li><\/ul><\/li><\/ul>\n\n\n\n<h4 id=\"session-f2---formal-methods-and-uncertainty\">14:00 &#8211; 16:00 : Session F2 &#8211; Formal Methods and Uncertainty<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Sriram Sankaranarayanan (University of Colorado Boulder) <em>Room:<\/em> Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>14:00 &#8211; 14:30 : Solving quantified constraint satisfaction problems with applications to control, <em>Eric Goubault, Nuwan Herath Mudiyanselage, Sylvie Putot (LIX, CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris)<\/em><\/li><li>14:30 &#8211; 15:00: Verification of High-Dimensional LTI Systems using Reachability Analysis in the Krylov Subspace and Support Functions, <em>Maximilian Perschl, Matthias Althoff (Technische Universit\u00e4t M\u00fcnchen<\/em>)<\/li><li>15:00 &#8211; 15:30: Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation, <em>Peter Amorese, Morteza Lahijanian (University of Colorado Boulder)<\/em><\/li><li>15:30 &#8211; 15:45: Output-derivative-triggered control with MATI timeouts, <em>Masako Kishida (University of Tsukuba)<\/em><\/li><li>15:45 &#8211; 16:00: discretize_distributions: Efficient Quantization of Gaussian Mixtures with Guarantees in Wasserstein Distance, <em>Steven Adams (Delft University of Technology (TU Delft)); Elize Alwash (Ecole Polytechnique Federale de Lausanne (EPFL)); Luca Laurenti (Delft University of Technology (TU Delft))<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s2---testing-and-falsification\">14:00 &#8211; 16:00 : Session S2 &#8211; Testing and Falsification<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Stanley Bak (University of Stonybrook, USA) <em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>14:00 &#8211; 14:30: Declarative Scenario-based Testing with RoadLogic,\u00a0 <em>Ezio Bartocci (TU Wien); Alessio Gambi (AIT Austrian Institute of Technology); Felix Gigler (TU Wien, AIT Austrian Institute of Technology); Cristinel Mateis, Dejan Ni\u010dkovi\u0107 (AIT Austrian Institute of Technology)<\/em><\/li><li>14:30 &#8211; 15:00: Predicate Coverage Driven Automatic Scenario Generation for Autonomous Vehicles, <em>Abolfazl Karimi, Parasara Sridhar Duggirala (University of North Carolina at Chapel Hill)<\/em><\/li><li>15:00 &#8211; 15:30: RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection, <em>Kohei Tsujio, Mohammad Al Faruque, Yasser Shoukry (University of California, Irvine)<\/em><\/li><li>15:30 &#8211; 16:00: Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression, <em>Lasse K\u00f6tz, Knut \u00c5kesson, Jonas Sj\u00f6berg (Chalmers University of Technology)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"coffee-break\">16:00 &#8211; 16:30 Coffee Break<\/h4>\n\n\n\n<h4 id=\"asd-panel-session\">16:30 &#8211; 18:00 : ASD Panel Session<\/h4>\n\n\n\n<p><em>Moderators:<\/em> Selma Saidi (TU Braunschweig, Germany); Sebastian Steinhorst (TU Munich, Germany) <em>Room:<\/em> Vauban 2 (Level 2)<\/p>\n\n\n\n<p>Is Autonomy Ready for Primetime? <\/p>\n\n\n\n<p>Panelists: <em>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).<\/em><\/p>\n\n\n\n<h4 id=\"session-f3---control-systems-and-stability\">16:30 &#8211; 18:00 : Session F3 &#8211; Control Systems and Stability<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Sylvie Putot (Ecole Polytechnique) <em>Room: <\/em>Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>16:30 &#8211; 17:00: Active Localization of Unstable Systems with Coarse Information, <em>Ege Yuceel, Daniel Liberzon, Sayan Mitra (University of Illinois Urbana-Champaign)<\/em><\/li><li>17:00 &#8211; 17:30: Succinct Synthesis of Multiple Lyapunov Certificates for Switched Systems, <em>Alessandro Abate, Virginie Debauche (University of Oxford); Mirco Giacobbe, Diptarko Roy (University of Birmingham)<\/em><\/li><li>17:30 &#8211; 18:00: A path-complete approach for optimal control of switched systems, <em>L\u00e9a Ninite, Adrien Banse, Guillaume O. Berger, Rapha\u00ebl M. Jungers (UCLouvain)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s3---planning\">16:30 &#8211; 18:00 : Session S3 &#8211; Planning<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Morteza Lahijanian (University of Colorado Boulder)&nbsp; &nbsp;<em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>16:30 &#8211; 17:00 : Informed Hybrid Zonotope-based Motion Planning Algorithm, <em>Peng Xie, Johannes Betz, Amr Alanwar (Technical University of Munich)<\/em><\/li><li>17:00 &#8211; 17:30 : Data-Driven Reachability Analysis Using Matrix Perturbation Theory, <em>Peng Xie, Abdullah Fawzy, Zhen Zhang, Amr Alanwar (Technical University of Munich)<\/em><\/li><li>17:30 &#8211; 18:00 : LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning, <em>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)<\/em><\/li><\/ul>\n\n\n\n<h2 id=\"wednesday-may-13-2026.\">Wednesday, May 13, 2026.<\/h2>\n\n\n\n<h4 id=\"joint-keynote-session-2\">10:30 &#8211; 11:45: Joint Keynote Session # 2<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Sriram Sankaranarayanan&nbsp; &nbsp; <em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<p>Raphael Jungers (UC Louvain), Sample-Based Safety-Critical Decision Making.<\/p>\n\n\n\n<h4 id=\"pm-session-lea2---strategic-learning-and-falsification\">11:45 &#8211; 12:30: Session LEA2 &#8211; Strategic Learning and Falsification<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Sriram Sankaranarayanan (University of Colorado Boulder) <em>Room:<\/em> Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : Weak Feedback Stackelberg Equilibrium for Hierarchical Cyber-Physical Systems, <em>Pravesh Koirala, Forrest Laine (Vanderbilt University)<\/em><\/li><li>12:15 &#8211; 12:30 : Falsification of Cyber-Physical Systems using Causation-aware Reinforcement Learning, <em>Sauvik Gon, Atanu Kundu, Rajarshi Ray (Indian Association for the Cultivation of Science, Kolkata)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s4---analytics-and-resource-allocation\">11:45 &#8211; 12:30 Session S4 &#8211; Analytics and Resource Allocation<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Salma Elmaliki (University of California Irvine) <em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : ReACT-TTC: Capacity-Aware Top Trading Cycles for Post-Choice Reassignment in Shared CPS, <em>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)<\/em><\/li><li>12:15 &#8211; 12:30 : MoveOD: Synthesizing Origin-Destination Commute Distribution from U.S. Census Data, <em>Rishav Sen, Jose Paolo Talusan, Abhishek Dubey, Ayan Mukhopadhyay (Vanderbilt University); Samitha Samaranayake (Cornell University); Aron Laszka (Pennsylvania State University)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"lunch-break-1\">12:30 &#8211; 14:00 Lunch Break<\/h4>\n\n\n\n<h4 id=\"session-lea3---safe-learning-monitoring-and-trustworthy-models\">14:00 &#8211; 16:00: Session LEA3 &#8211; Safe Learning, Monitoring, and Trustworthy Models<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Ivan Ruchkin (University of Florida) <em>Room:<\/em> Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>14:00 &#8211; 14:30 : LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy, <em>Hsin-Jung Yang, Zhanhong Jiang (Iowa State University); Prajwal Koirala (Cornell University); Qisai\u00a0 Liu, Cody Fleming, Soumik Sarkar (Iowa State University)<\/em><\/li><li>14:30 &#8211; 15:00 : Vulnerability Exploration of Safe Reinforcement Learning in Cyber-Physical Systems via STL Mining, <em>Jialiang Fan, Shixiong Jiang (University of Notre Dame); Mengyu Liu (Washington State University); Fanxin Kong (University of Notre Dame)<\/em><\/li><li>15:00 &#8211; 15:30 : LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning, <em>Dung Thuy Nguyen, Ziyan An, Taylor Johnson, Meiyi Ma, Kevin Leach (Vanderbilt University)<\/em><\/li><li>15:30 &#8211; 16:00 : Learning Contextual Runtime Monitors for Safe AI-Based Autonomy, <em>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)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s5---safety-security-and-resilience-in-critical-infrastructure\">14:00 &#8211; 16:00 Session S5 &#8211; Safety, Security, and Resilience in Critical Infrastructure<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Marilyn Wolf (University of Nebraska Lincoln) <em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>14:00 &#8211; 14:30 : Set-Based Estimation Using Probabilistic Zonotopes to Ensure the Safety of Occluded Pedestrians, <em>Vandana Narri (KTH Royal Institute of Technology and Scania AB); Zhen Zhang, Amr Alanwar<\/em> <em>(Technical University of Munich); Karl Henrik Johansson (KTH Royal Institute of Technology)<\/em><\/li><li>14:30 &#8211; 15:00 : ReVISE: Disrupting Industrial Control Processes with Timing-Aware PLC Variable Manipulation, <em>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)<\/em><\/li><li>15:00 &#8211; 15:30 : P-V2B: A Neuro-Symbolic Framework for Leveraging User Persistence in Vehicle-to-Building Charging, <em>Rishav Sen, Fangqi Liu, Jose Paolo Talusan (Vanderbilt University); Ava Pettet, Yoshinori Suzue (Nissan Advanced Technology Center &#8211; Silicon Valley); Ayan Mukhopadhyay, Abhishek Dubey (Vanderbilt University)<\/em><\/li><li>15:30 &#8211; 16:00 : C-BADE: Concept\u2011Based Anomaly Detection and Explanation Using Genetic Algorithm for Power Grids, <em>Diwash Pokharel (University of Arkansas); Qinghua Li (Department of Computer Science and Computer Engineering, University of Arkansas)<\/em><\/li><\/ul>\n\n\n\n<h2 id=\"thursday-may-14-2026.\">Thursday, May 14, 2026.<\/h2>\n\n\n\n<h4 id=\"systems-and-applications-track-keynote\">10:30 &#8211; 11:45: Systems and Applications Track Keynote<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Miroslav Pajic (Duke University) <em>Room: <\/em>Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<p>Samarjit Chakraborty (UNC, Chapel-Hill), Deep brain stimulation: What&#8217;s in it for us?<\/p>\n\n\n\n<h4 id=\"pm-session-lea4---interpretable-representation-learning\">11:45 &#8211; 12:30 Session LEA4 &#8211; Interpretable Representation Learning<\/h4>\n\n\n\n<p>Moderator: <em>Raphael Jungers<\/em> (UC Louvain) Room: Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 Physically Interpretable World Models via Weakly Supervised Representation Learning, <em>Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin (University of Florida)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"pm-session-s6---resource-aware-and-ai-enabled-platforms\">11:45 &#8211; 12:30 Session S6 &#8211; Resource-Aware and AI-Enabled Platforms<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Miroslav Pajic (Duke University). <em>Room: <\/em>Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>11:45 &#8211; 12:15 : DCoPilot: Generative AI-Empowered Policy Adaptation for Dynamic Data Center Operations, <em>Minghao LI, Ruihang Wang, Rui Tan, Yonggang Wen (Nanyang Technological University)<\/em><\/li><li>12:15 &#8211; 12:30 : TinyML Enhances CubeSat Mission Capabilities, <em>Luigi Capogrosso (Interdisciplinary Transformation University of Austria); Michele Magno (ETH Zurich)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"lunch-break-2\">12:30 &#8211; 13:30 Lunch Break<\/h4>\n\n\n\n<h4 id=\"session-f4---hybrid-inference-reachability-and-stability\">13:30 &#8211; 15:30 Session F4 &#8211; Hybrid Inference, Reachability, and Stability<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Eric Goubault (Ecole Polytechnique) <em>Room<\/em>: Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>13:30 &#8211; 14:00 : Derivative-Agnostic Inference of Nonlinear Hybrid Systems, <em>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)<\/em><\/li><li>14:00 &#8211; 14:30 : Orthogonal Transformations for Efficient Data-Driven Reachability Analysis, <em>Peng Xie, Amr Alanwar (Technical University of Munich)<\/em><\/li><li>14:30 &#8211; 15:00 : On Input-to-State Stability for a Class of Stochastic Hybrid Systems, <em>Carlos A. Montenegro G., Daniel E. Ochoa, Ricardo G. Sanfelice (University of California, Santa Cruz)<\/em><\/li><li>15:00 &#8211; 15:30 A Complete Ordering of Path-complete Lyapunov Functions with Composition-closed Templates, <em>Andrew Wintenberg, Raphael Jungers (UCLouvain)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s7---deployed-cps-platforms\">13:30 &#8211; 15:30 Session S7 &#8211; Deployed CPS Platforms<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Yasser Shoukry (University of California Irvine) <em>Room:<\/em> Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>13:30 &#8211; 14:00 : Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation, <em>Yangge Li, Benjamin C Yang (University of Illinois at Urbana-Champaign); Sayan Mitra (University of Illinois Urbana Champaign)<\/em><\/li><li>14:00 &#8211; 14:30 : Resource-Conscious RL Algorithms for Deep Brain Stimulation, <em>Arkaprava Gupta, Nicholas Carter, William Jackson Zellers, Prateek Ganguli (The University of North Carolina at Chapel Hill); Benedikt Dietrich (Hochschule M\u00fcnchen University of Applied Sciences); Vibhor Krishna, Parasara Sridhar Duggirala, Samarjit Chakraborty (The University of North Carolina at Chapel Hill)<\/em><\/li><li>14:30 &#8211; 15:00 : MRTPO-FJSP: A Multi-Resource Three-Phase Operation Flexible Job Shop Problem for Manufacturing Cyber-Physical Systems, <em>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)<\/em><\/li><li>15:00 &#8211; 15:15 : SchoolRide: A Platform for School Bus Disruption Management and Operational Resilience, <em>Vakul Nath, Fangqi Liu, Guocheng He, David Rogers, Ajay Chhokra, JP Talusan, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey (Vanderbilt University)<\/em><\/li><li><em>15:15 &#8211; 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)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"coffee-break-1\">15:30 &#8211; 16:00 Coffee Break<\/h4>\n\n\n\n<h4 id=\"session-f5---safety-and-robustness\">16:00 &#8211; 17:30 Session F5 &#8211; Safety and Robustness<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Guillaume Berger (UC Louvain) <em>Room: <\/em>Bouvet (Level 1)<\/p>\n\n\n\n<ul><li>16:00 &#8211; 16:30 : PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions, <em>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)<\/em><\/li><li>16:30 &#8211; 17:00 : Nagumo Invariance Theorem For Constrained Differential Equations in The Case of Polytopic Sets, <em>Olayo Reynaud, Mohamed Maghenem (CNRS, Gipsa-lab, UGA, Grenoble INP); Ahmad Hably (Universit\u00e9 Claude Bernard Lyon 1)<\/em><\/li><li>17:00 &#8211; 17:30 : Certified geometric robustness &#8211; Super-DeepG, <em>No\u00e9mie Cohen (ONERA); M\u00e9lanie Ducoffe (Airbus); Timoth\u00e9e Fayard (ISAE-Supaero); Christophe Gabreau (Airbus); Claire Pagetti, Xavier Pucel (ONERA)<\/em><\/li><\/ul>\n\n\n\n<h4 id=\"session-s8---learning-and-perception\">16:00 &#8211; 17:30 Session S8 &#8211; Learning and Perception<\/h4>\n\n\n\n<p><em>Moderator:<\/em> Miroslav Pajic (Duke University) <em>Room: <\/em>Rotonde Surcouf (Level 2)<\/p>\n\n\n\n<ul><li>16:00 &#8211; 16:30 : WENFlow: Scalable Attention for Unsupervised Spatiotemporal Anomaly Detection in High-Dimensional Cyber-Physical Systems, <em>Jacob Buckelew, Jose Paolo Talusan (Vanderbilt University);<br>Vasavi Sivaramakrishnan (Dominion Energy); Ayan Mukhopadhyay (Vanderbilt University); Anurag Srivastava (West Virginia University); Abhishek Dubey (Vanderbilt University)<\/em><\/li><li>16:30 &#8211; 17:00 : Robust Self-supervised Depth, Pose and Uncertainty Estimation for Monocular Visual Odometry, <em>Qi Peng, Weiqi Zhang, Zhen Zhang, Zhezhe Hui (College of Information and Control Engineering, Xi\u2019an University of Architecture and Technology)<\/em><\/li><li>17:00 &#8211; 17:30 : Learning Metastable Dynamics, <em>Rupak Majumdar, Mahmoud Salamati, Nikhil Singh, Sadegh Soudjani (Max Planck Institute for Software Systems, Germany)<\/em><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Tuesday, May 12, 2026. 10:30&nbsp; &#8211; 11:45 AM : Joint Keynote Session # 1 &#8211; ASD Moderator: Dirk Ziegenbein (Bosch, Germany)&nbsp; &nbsp;Room: Rotonde Surcouf (Level 2) Oliver Rogalla (Airbus Defense and Space), The Sovereignty Paradox \u2013 Safe AI for Aerospace Autonomous Systems. 11:45 &#8211; 12:30 PM : Session ASD\/LEA1 &#8211; [&hellip;]<\/p>\n","protected":false},"author":8,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-fullwidth.php","meta":[],"_links":{"self":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/2166"}],"collection":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/comments?post=2166"}],"version-history":[{"count":25,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/2166\/revisions"}],"predecessor-version":[{"id":2225,"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/pages\/2166\/revisions\/2225"}],"wp:attachment":[{"href":"https:\/\/hscc.acm.org\/2026\/wp-json\/wp\/v2\/media?parent=2166"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}