TACAS: Markov Chains/Stochastic Control
Chair: Kim Larsen
Room: Auditorium
14:00
A Practitioner's Guide to MDP Model Checking Algorithms*
Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger
14:30
Correct Approximation of Stationary Distribution
Tobias Meggendorfer
15:00
Robust Almost-Sure Reachability in Multi-Environment MDPs
Marck van der Vegt, Nils Jansen and Sebastian Junges
15:30
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
E. Hahn, M. Perez, S. Schewe, F. Somenzi, A. Trivedi, D. Wojtczak
TACAS: Verification I
Chair: Haniel Barbosa
Room: 44-45/108
14:00
A Formal CHERI-C Semantics for Verification
Seung Hoon Park, Rekha Pai and Tom Melham
14:30
Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm
Yahui Song and Wei-Ngan Chin
15:00
Parameterized Verification under TSO with Data Types
P. Abdulla, M.. Atig, S. Spengler, S. Krishna, F. Furbach, A. A. Godbole, Y. G. Hendi
15:30
Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, Alessandro Farinelli, David Harel and Guy Katz
ESOP: Concurrency
Chair: Simon Gay
Room: 44-45/106
14:00
Quorum Tree Abstractions of Consensus Protocols
Berk Cirisci, Constantin Enea and Suha Orhun Mutluergil
14:30
MAGπ: Types for Failure-Prone Communication
Matthew Alan Le Brun and Ornela Dardha
15:00
Safe Session-Based Concurrency with Shared Linear State
Pedro Rocha and Luis Caires
15:30
System $F^mu_omega$ with Context-free Session Types
Diana Costa, Andreia Mordido, Diogo Poças and Vasco T. Vasconcelos
FoSSaCS: Bisimulation
Chair:
Room: 44-54/109
14:00
Reverse Bisimilarity vs. Forward Bisimilarity
Marco Bernardo and Sabina Rossi
14:30
Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains
Amgad Rady and Franck van Breugel
15:00
Weighted and Branching Bisimilarities from Generalized Open Maps
Jérémy Dubut and Thorsten Wißmann
15:30
Preservation and Reflection of Bisimilarity via Invertible Steps
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot and Ezra Schoen