Program

8:55 - 9:00: Opening

9:00 - 10:00: Invited talk: Thao Dang. A Behaviour-based Approach to Quantitative Validation of Cyber-Physical Systems

10:00 - 10:30: Coffee break

10:30 - 12:00: Probabilistic and Timed Systems

Bernardo Jacobo Inclán, Eugene Asarin and Aldric Degorre. Bounded delay timed channel coding
Yiming Meng and Jun Liu. Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
Surya Sai Teja Desu, Anubhav Srivastava and Mvprao. Model checking for entanglement swapping

12:00 - 14:00: Lunch break

14:00 - 15:30: Temporal Logic

Hongkai Chen, Shan Lin, Scott Smolka and Nicola Paoletti. An STL-based Formulation of Resilience in Cyber-Physical Systems
Daniel Selvaratnam, Michael Cantoni, Jen Davoren and Iman Shames. MITL Verification Under Timing Uncertainty
Ruya Karagulle, Nikos Arechiga, Jonathan DeCastro and Necmiye Ozay. Classification of driving behaviors using STL formula: A Comparative Study

15:30 - 16:00: Coffee break

18:00 - 20:00: CONFEST reception

9:00 - 10:00: Invited talk: Joël Ouaknine. The Skolem Landscape

10:00 - 10:30: Coffee break

10:30 - 12:00: Timed Automata and Games

James C. A. Main, Mickael Randour and Jeremy Sproston. Timed Games with Bounded Window Parity Objectives
Aline Goeminne, Nicolas Markey and Ocan Sankur. Non-Blind Strategies in Timed Network Congestion Games
Étienne André, Dylan Marinho, Laure Petrucci and Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata

12:00 - 14:00: Lunch break

14:00 - 16:00: FORMATS 20th Anniversary Session

FORMATS’22 awards and invited anniversary presentations:

Patricia Bouyer. Zone-based verification of timed automata: Extrapolations, simulations and what next?
Thomas A. Henzinger. A Personal History of Formal Modeling and Analysis of Timed Systems before there was FORMATS.
Kim Guldstrand Larsen. On-line Testing and Monitoring of Real-Time Systems — Revisited

16:00 - 19:00: CONFEST excursion

19:00: CONFEST banquet

10:00 - 10:30: Coffee break

10:30 - 12:00: Neural Networks

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson and Danil Prokhorov. Neural Network Repair with Reachability Analysis
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros and Stavros Tripakis. On Neural Network Equivalence Checking using SMT Solvers
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and Taylor T Johnson. Reachability Analysis of a General Class of Neural Ordinary Differential Equations

12:00 - 14:00: Lunch break

14:00 - 15:30: Reinforcement Learning

Daniel Jarne Ornia and Manuel Mazo Jr. Robust Event-Driven Interactions in Cooperative Multi-Agent Learning
Mathis Niehage and Anne Remke. Learning that grid convenience does not hurt resilience