Regular Papers
- Mehrdad Zareian and Anne-Kathrin Schmuck: Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
- Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos and Danil Prokhorov: Quantitative Verification for Neural Networks using ProbStars
- Luca Bortolussi, Francesca Cairoli and Nicola Paoletti: Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
- Virginie Debauche, Matteo Della Rossa and Raphaël Jungers: Characterization of the Ordering of Path-complete Stability Certificates with Addition-closed Templates
- Akshay Mambakam, Eugene Asarin, Nicolas Basset and Thao Dang: Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
- Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr. and Luca Laurenti: Interval Markov Decision Processes with Continuous Action-Spaces
- Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini and Jian Xiang: Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
- Hongkai Chen, Scott A. Smolka, Nicola Paoletti and Shan Lin: An STL-based Approach to Resilient Control for Cyber-Physical Systems
- Gustavo A. Cardona, Disha Kamale and Cristian-Ioan Vasile: Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic
- Mark Wetzlinger, Niklas Kochdumper, Stanley Bak and Matthias Althoff: Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Arvind Adimoolam, Indranil Saha and Thao Dang: Safe Self Triggered Control Based on Precomputed Reachability Sequences
- Arman Ferdowsi, Matthias Függer, Thomas Nowak and Ulrich Schmid: Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
- Ibón Gracia Merino, Dimitris Boskos, Luca Laurenti and Manuel Mazo Jr: Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
- Hoang Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha and Danil Prokhorov: Verification of Recurrent Neural Networks with Star Reachability
- Tobias Ladner and Matthias Althoff: Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
- Ertai Luo, Niklas Kochdumper and Stanley Bak: Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Tool, Case Study and Short Papers
- Benoit Barbot and Alexandre Donze: Wordgen : A Time Word Generation Tool
- Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani and Sofie Haesaert: SySCoRe: Synthesis via Stochastic Coupling Relations
- Aniruddh Chandratre, Tomas Acosta, Tanmay Khandait, Giulia Pedrielli and Georgios Fainekos: Exploring Signal Temporal Logic and Specification Robustness for the Analysis of CPS Security Against Stealthy Attacks
- Wael Fatnassi, Haitham Khedr, Valen Yamamoto and Yasser Shoukry: BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic