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