Table of Contents

• Pattern Matching and Parameter Identification for Parametric Timed Regular ExpressionsAkshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang 0001. [doi]
• Automatic Abstraction Refinement in Neural Network Verification using Sensitivity AnalysisTobias Ladner, Matthias Althoff. [doi]
• Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial ZonotopesErtai Luo, Niklas Kochdumper, Stanley Bak. [doi]
• Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical SystemsStephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang. [doi]
• Stealthy attacks formalized as STL formulas for Falsification of CPS SecurityAniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos. [doi]
• Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic ProcessesFrancesca Cairoli, Nicola Paoletti, Luca Bortolussi. [doi]
• BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval ArithmeticWael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry. [doi]
• Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under UncertaintyQi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian. [doi]
• Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise Constant Derivative SystemsSpandan Das, Pavithra Prabhakar. [doi]
• Poster: Convex Scenario Optimisation for ReLU NetworksAndrea Peruffo, Manuel Mazo Jr.. [doi]
• An STL-based Approach to Resilient Control for Cyber-Physical Systemshongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin 0001. [doi]
• Poster Abstract: Towards Seamless Reactivity of Hybrid ControlLucas Neves Egidio, Satya Prakash Nayak, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël M. Jungers. [doi]
• Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani. [doi]
• Poster Abstract: A Toolchain for Accelerated Symbolic ControlRupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani. [doi]
• Quantitative Verification for Neural Networks using ProbStarsHoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov. [doi]
• Verification of Recurrent Neural Networks with Star ReachabilityHoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov. [doi]
• Wordgen : a Timed word Generation ToolBenoît Barbot, Nicolas Basset, Alexandre Donzé. [doi]
• Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight SimulatorTanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos. [doi]
• Distributionally Robust Strategy Synthesis for Switched Stochastic SystemsIbon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.. [doi]
• Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous VehiclesRuya Karagulle, Nikos Aréchiga, Andrew Best, Jonathan A. DeCastro, Necmiye Ozay. [doi]
• Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety SpecificationsMehrdad Zareian, Anne-Kathrin Schmuck. [doi]
• Poster Abstract: Permissiveness for Strategy AdaptationAshwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck. [doi]
• Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay ModelsArman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid 0001. [doi]
• Poster Abstract: Reachability and Controlled Invariance for Human Stability during Sit-to-StandDaphna Raz, Liren Yang, Brian Umberger, Necmiye Ozay. [doi]
• SySCoRe: Synthesis via Stochastic Coupling RelationsBirgit van Huijgevoort, Oliver Schön, Sadegh Soudjani, Sofie Haesaert. [doi]
• Safe Self-Triggered Control Based on Precomputed Reachability SequencesArvind Adimoolam, Indranil Saha, Thao Dang 0001. [doi]
• Characterization of the ordering of path-complete stability certificates with addition-closed templatesVirginie Debauche, Matteo Della Rossa, Raphaël M. Jungers. [doi]
• Interval Markov Decision Processes with Continuous Action-SpacesGiannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti. [doi]
• Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal LogicGustavo A. Cardona, Disha Kamale, Cristian Ioan Vasile. [doi]
• Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support FunctionsMark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff. [doi]