Room: Stakladen

From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases

Rowin Versteeg, Valentina Castiglioni and Bas Luttik

A state-based O(m log n) partitioning algorithm for branching bisimilarity

Jan Friso Groote and David N. Jansen

Explainability is a Game for Probabilistic Bisimilarity Distances

Emily Vlasman, James Worrell, Anto Nanah Ji and Franck van Breugel

Open Bisimilarity for the π-calculus with Mismatch

Tiange Liu, Alwen Tiu and Ross Horne

A Hyperlogic for Strategies in Stochastic Games

Lina Gerlach, Christof Löding and Erika Abraham

Controller Synthesis for Parametric Timed Games

Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Jaco van de Pol and Laure Petrucci

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

Oliver Schön, Sofie Haesaert and Sadegh Soudjani

On Choice of Loss Functions for Neural Control Barrier Certificates

Alireza Nadali, Ashutosh Trivedi and Majid Zamani

Room: Stakladen

Partial-Order Reduction Is Hard

Frédéric Herbreteau, Sarah Larroze and Igor Walukiewicz

Optimal Concolic Dynamic Partial Order Reduction

Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar and Srinidhi Nagendra

On the send-synchronizability problem for mailbox communication

Romain Delpy, Anca Muscholl and Grégoire Sutre

Programming and Reasoning in Partially Observable Probabilistic Environments

Tobias Gürtler and Benjamin Lucien Kaminski

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft

Numerical Errors in Quantitative System Analysis With Decision Diagrams

Sebastiaan Brand, Arend-Jan Quist, Richard M.K. van Dijk and Alfons Laarman

Coverage Games

Noam Shenwald and Orna Kupferman

A Direct Reduction from Parity to Simple Stochastic Games

Raphaël Berthon, Joost-Pieter Katoen and Zihan Zhou

Expectation in Stochastic Games with Prefix-independent Objectives

Laurent Doyen, Pranshu Gaba and Shibashis Guha

Active Learning of Mealy Machines with Timers

Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager    

Learning Mealy Machines with Sparse Observation Tables

Wolffhardt Schwabe, Paul Kogel and Sabine Glesner    

Statistical Bayesian Inference for Stochastic Process Discovery

Paolo Ballarini, Pierre Cry, Andras Horvath and Pascale Legall    

Christel Baier

Linear Temporal Logic with Standpoint Modalities

Fuzzy Fault Trees: the Fast and the Formal

Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga    

Noninterference Analysis of Deterministically Timed Reversible Systems

Andrea Esposito, Alessandro Aldini and Marco Bernardo    

On-The-Fly Symbolic Algorithm for Timed ATL1 with Abstractions

Nicolaj Østerby Jensen, Kim Guldstrand Larsen, Didier Lime and Jiri Srba

Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics

Hsi-Ming Ho, S Krishna, Khushraj Madnani, Rupak Majumdar and Paritosh Pandya

Runtime Safety for Learning-Enabled Cyber-Physical Systems: From Predictive Monitoring to Adaptive Shielding

First-order store and visibility in name-passing calculi

Daniel Hirschkoff, Iwan Quémerais and Davide Sangiorgi

Just Verification of Mutual Exclusion Algorithms

Rob van Glabbeek, Bas Luttik and Myrthe Spronck

Tightening the Frontier of Decidability for Decisiveness

Gaspard Fougea, Serge Haddad, Lina Ye, Shreyas Jain and Alain Finkel    

*Positive Almost-Sure Termination of Polynomial Random Walks

Lorenz Winkler and Laura Kovács