Papers that have passed the Repeatability Evaluation (RE) present the RE-passed badge 
next to their title. Note that submitting the RE package was mandatory only for Tool papers.
Regular papers
- Kurt Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu and Zhishan Guo
Soteria: A Formal Digital-Twin Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
- Yushen Huang, Ertai Luo, Yifan Sun and Stanley Bak Sparse Intersection Checking for Sparse Polynomial Zonotopes
- Niklas Kochdumper, Mohammed Foughali, Peter Habermehl and Eugene Asarin Robust Identification of Hybrid Automata from Noisy Data
- Frederik Baymler Mathiesen, Sofie Haesaert and Luca Laurenti Scalable control synthesis for stochastic systems via structural IMDP abstractions
- Anand Balakrishnan, Sheryl Paul, Simone Silvetti, Laura Nenzi and Jyotirmoy Deshmukh
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
- Daniel Liberzon and Sayan Mitra
Indistinguishability in Localization and Control with Coarse Information
- Hoang-Dung Tran, Sungwoo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha and Georgios Fainekos ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
- Behrad Samari and Abolfazl Lavaei Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
- Mahdieh Zaker, Amy Nejati and Abolfazl Lavaei From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
- Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr. and Raphaël Jungers Memory-dependent abstractions of stochastic systems through the lens of transfer operators
- Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky and Insup Lee
Distributionally Robust Statistical Verification with Imprecise Neural Networks
- Jeel Chatrola, Abhiroop Ajith, Kevin Leahy and Constantinos Chamzas
Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
- Ryan Matheu, Aniruddh G. Puranic, John S. Baras and Calin Belta BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
- Rameez Wajid and Sriram Sankaranarayanan
Successive Control Barrier Functions for Nonlinear Systems
- Carlos Montenegro, Santiago Jimenez Leudo and Ricardo Sanfelice Inverse-Optimal Safety Control for Hybrid Systems
- Chiao Hsieh, Masaki Waga and Kohei Suenaga Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
- Sara Kamali, Guillaume Berger and Sriram Sankaranarayanan
Polyhedral Control Lyapunov Functions for Switched Affine Systems
- Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretinsky and Christoph Weinhuber
Explaining Control Policies through Predicate Decision Diagrams
- Goli Vaisi, James Ferlez and Yasser Shoukry
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
- Jiří Fejlek and Gidon Ernst
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
- Han Su, Saumya Shankar, Partha S. Roop, Srinivas Pinisetty and Naijun Zhan Runtime Enforcement of CPS against Signal Temporal Logic
- Xavier Allamigeon, Pascal Capetillo and Stéphane Gaubert Stationary regimes of piecewise linear dynamical systems with priorities
- Tingting Ni and Maryam Kamgarpour
A learning-based approach to stochastic optimal control under reach-avoid constraint
Short paper
- Qais Hamarneh and Maike Schwammberger
Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems
Tool and Case Study papers
- Jamie Gardner, Ben Wooding, Amy Nejati and Abolfazl Lavaei TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
- Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn Devonport, Joshua Pilipovsky, Panagiotis Tsiotras and Meeko Oishi SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
- Yasin Sonmez, Paul Wintz, Paul Griffioen, Mingsheng Xu, Surim Oh, Ricardo Sanfelice, Murat Arcak and Heiner Litz Sharc: Simulator for Hardware Architecture and Real-time Control
- Karan Mukhi, Chengru Qu, Pengcheng You and Alessandro Abate
Robust Aggregation of Electric Vehicle Flexiblity