Table of Contents

• Stealthy Computational Delay Attacks on Control SystemsTalitha Nauta, Henrik Sandberg, Martina Maggio. [doi]
• Adaptive Beamforming for Connected Vehicles - A Co-simulation FrameworkAnik Roy, Varuni Buereddy, Somnath Hazra, Serene Banerjee, Arnab Sarkar, Soumyajit Dey. [doi]
• Exploring Flexible Road Reconstruction in Godot SimulatorDaniel Peralta, Xin Qin. [doi]
• Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data MitigationMohammadHossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei, Amy Nejati. [doi]
• RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous PerceptionJoshua R. Waite, Md. Zahid Hasan, Qisai Liu, Zhanhong Jiang, Chinmay Hegde, Soumik Sarkar. [doi]
• Repairing Control Safety Violations via Scheduler Patch SynthesisAnand Yeolekar, Supratik Chakraborty, R. Venkatesh 0001, Samarjit Chakraborty. [doi]
• Integrated Task and Path Planning for Collaborative Multi-Robot SystemsAman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik. [doi]
• A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic TranslationEshita Shukla, Quinn Thibeault, Giulia Pedrielli. [doi]
• Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway ScaleXia Wang, Matthew Nice, Matt Bunting, Fangyu Wu 0003, Maria Laura Delle Monache, Jonathan W. Lee, Benedetto Piccoli, Benjamin Seibold, Alexandre M. Bayen, Daniel B. Work, Jonathan Sprinkle. [doi]
• Can control barrier functions keep automated vehicles safe in live freeway traffic?George Gunter, Matthew Nice, Matt Bunting, Jonathan Sprinkle, Daniel B. Work. [doi]
• Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination FrameworkYichuan Yu, Chenyang Mao, Zhihao Jiang. [doi]
• JOIN: Optimized Light Source Activation for Deep Tissue Optical SensingKourosh Vali, Begum Kasap, Ata Vafi, Soheil Ghiasi. [doi]
• MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time SystemsArkaprava Sain, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey. [doi]
• Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi NetworksMiao Guo, Yichuan Yang, Shibo He, Jianping Pan 0001, Chaojie Gu, Jiming Chen 0001. [doi]
• Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT ApplicationsJiechao Gao, Mingyue Tang, Wenpeng Wang, Tushar Routh, Bradford Campbell. [doi]
• Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution ScenariosVivian Lin, Ramneet Kaur, Yahan Yang, Souradeep Dutta, Yiannis Kantaros, Anirban Roy, Susmit Jha, Oleg Sokolsky, Insup Lee 0001. [doi]
• Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance MetricsAkash Bhattacharya, Suraj Singh, Sunandan Adhikary, Soumyajit Dey. [doi]
• Real-Time Freeway Traffic Anomalous Event Detection System via Radar Detector SensorsAustin Coursey, Junyi Ji, Zhiyao Zhang, William Barbour, Marcos Quiñones-Grueiro, Tyler Derr, Gautam Biswas, Daniel B. Work. [doi]
• Symbolic Gaussian SmoothingAndrew Mata, Ali ArjomandBigdeli, Stanley Bak. [doi]
• Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical SystemsRyan Brown, Luan Viet Nguyen, Weiming Xiang 0001, Marilyn Wolf, Hoang-Dung Tran. [doi]
• Cost-Effective Rover for FarmsPawan Kumar, Yejur Dube, Hokeun Kim. [doi]
• High-Level Scenario Management For Parallel Autonomous Vehicle SimulationAlex Richardson 0003, Jonathan Sprinkle. [doi]
• T-Tex: Timed Threaded Execution for Real-time Security and SafetySwastik Mittal, Frank Mueller 0001. [doi]
• Mining Specifications for Predictive Safety MonitoringEleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah. [doi]
• Online Decision-Making Under Uncertainty for Vehicle-to-Building SystemsRishav Sen, Yunuo Zhang, Fangqi Liu, Jose Paolo Talusan, Ava Pettet, Yoshinori Suzue, Ayan Mukhopadhyay, Abhishek Dubey. [doi]
• Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic SystemsSumukha Udupa, Chongyang Shi 0002, Jie Fu 0002. [doi]
• 1000DaySim: Open-Source Traffic Simulation With Real Data Over Long Time HorizonsZhiyao Zhang, Yuhang Zhang 0009, Marcos Quiñones-Grueiro, William Barbour, Gautam Biswas, Daniel B. Work. [doi]
• Uncertainty Quantification for Physics-Informed Traffic Graph NetworksTianshu Bao, Xiaoou Liu, Meiyi Ma, Taylor T. Johnson, Hua Wei 0001. [doi]
• Data Efficient PV based Indoor Event DetectionTushar Routh, Jiechao Gao, Bradford Campbell. [doi]
• SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power GridsAndrew Chio, Russell Bent, Kaarthik Sundar, Nalini Venkatasubramanian. [doi]
• Conformance-Driven Anomaly Detection for Cyber-Physical SystemsXin Qin. [doi]
• Integrating the Simplex Architecture to Enhance Safety in Deep Learning Autonomous SystemsNiko Salamini, Federico Nesti, Mauro Marinoni, Giorgiomaria Cicero, Gabriele Serra, Alessandro Biondi 0001, Giorgio C. Buttazzo. [doi]
• Verifying Vision-Based Autonomy with Abstract Rendering and Perception ContractsYangge Li, Chenxi Ji, Sayan Mitra. [doi]
• PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial SystemsBen Wooding, Viacheslav Horbanov, Abolfazl Lavaei. [doi]
• SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power GridsAndrew Chio, Russell Bent, Kaarthik Sundar, Nalini Venkatasubramanian. [doi]
• Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous VehiclesAditya Parameshwaran, Yue Wang. [doi]
• Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5GHerman Kroep, Stijn Coppens, Koen Wösten, Anup Bhattacharjee, R. R. Venkatesha Prasad. [doi]
• Trust-Based Assured Sensor Fusion in Distributed Aerial AutonomyR. Spencer Hallyburton, Miroslav Pajic. [doi]
• Polynomial Zonotopes Intersection CheckingErtai Luo, Yushen Huang, Yifan Sun, Stanley Bak. [doi]
• Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical SystemsVivian Lin, Insup Lee 0001. [doi]
• SPHERE CPS Enclave: A Reconfigurable Testbed for Industrial Control System Security ExperimentationLuis Garcia 0001, Jelena Mirkovic, David M. Balenson, Erik Kline, Yuri Pradkin, David R. Choffnes, Daniel J. Dubois, Terry Benzel, Srivatsan Ravi, Joseph Barnes, Geoff Lawler, Chris Tran, Alba Regalado. [doi]
• EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical TherapyHanchen David Wang, Siwoo Bae, Xutong Sun, Yashvitha Thatigotla, Meiyi Ma. [doi]
• Certified Inductive Synthesis for Online Mixed-Integer OptimizationMarco Zamponi, Emilio Incerto, Daniele Masti, Mirco Tribastone. [doi]
• Falsification and Control of CPS using the Language Set of Discrete-Time Temporal LogicChristian Abou-Mrad, Tanmay Khandait, Giulia Pedrielli, Houssam Abbas. [doi]
• Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who StutterYi Xiao 0006, Harshit Sharma, Victoria Tumanova, Asif Salekin. [doi]
• eFlx: Energy Flexibility Provisioning for E-taxi FleetsLiangkai Zhou, Yue Zhao 0007, Yukun Yuan 0001, Ce Xu, Shan Lin. [doi]
• Accelerating Neural Policy Repair with Preservation via Stability-Plasticity InterpolationPengyuan Lu, Oleg Sokolsky, Insup Lee 0001, Ivan Ruchkin. [doi]
• Reproducible and Low-cost Sim-to-Real Environment for Traffic Signal ControlYiran Zhang, Khoa Vo, Longchao Da, Tiejin Chen, Xiaoou Liu, Hua Wei. [doi]
• PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control SystemsSyed Ali Qasim, Taqi Raza, Irfan Ahmed 0001. [doi]