On Privacy and Accuracy in Data Releases (abstract)

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains (abstract)

Reactive Bisimulation Semantics for a Process Algebra with Time-outs (abstract)

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (abstract)

Scalable Termination Detection for Distributed Actor Systems (abstract)

A Classification of Weak Asynchronous Models of Distributed Computing (abstract)

Characterizing consensus in the Heard-Of model (abstract)

Probabilistic Analysis of Binary Sessions (abstract)

Session Types with Arithmetic Refinements (abstract)

Session Subtyping and Multiparty Compatibility using Circular Sequents (abstract)

Weighted Transducers for Robustness Verification (abstract)

On the Separability Problem of String Constraints (abstract)

On Ranking Function Synthesis and Termination for Polynomial Programs (abstract)

Partially Observable Concurrent Kleene Algebra (abstract)

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (abstract)

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum (abstract)

Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States (abstract)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs (abstract)

Model-Free Reinforcement Learning for Stochastic Parity Games (abstract)

Reaching Your Goal Optimally by Playing at Random (abstract)

Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations (abstract)

Games Where You Can Play Optimally with Arena-Independent Finite Memory (abstract)

The Big-O Problem for Labelled Markov Chains and Weighted Automata (abstract)

Monte Carlo Tree Search guided by Symbolic Advice for MDPs (abstract)

Strategy Complexity of Parity Objectives in Countable MDPs (abstract)

A Survey of Bidding Games on Graphs (abstract)

Algebraic Invariants for Linear Hybrid Automata (abstract)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions (abstract)

Decidability and Synthesis of Abstract Inductive Invariants (abstract)

Canonical Expressions of Finite-State Behaviours and Completeness of Equational Axiomatisations (abstract)

On the Representation of References in the Pi-calculus (abstract)

A general approach to derive uncontrolled reversible semantics (abstract)

Non axiomatizability of positive relation algebras with constants, via graph homomorphisms (abstract)

Monads and Quantitative Equational Theories for Nondeterminism and Probability (abstract)

Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions (abstract)

Coverability in 1-VASS with Disequality Tests (abstract)

Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free (abstract)

Universality Problem for Unambiguous VASS (abstract)

Safe Reinforcement Learning using Probabilistic Shields (abstract)

Residual Nominal Automata (abstract)

Synthesis of Computable Regular Functions of Infinite Words (abstract)

Determinizability of one-clock timed automata (abstract)

Parametrized Universality Problems for One-Counter Nets (abstract)

Deciding the existence of cut-off in parameterized rendez-vous networks (abstract)

Flatness and Complexity of Immediate Observation Petri Nets (abstract)

Propositional Dynamic Logic for Hyperproperties (abstract)

Bounded Reachability Problems are Decidable in FIFO Machines (abstract)

Reachability in fixed dimension vector addition systems with states (abstract)

Modern Applications of Game-Theoretic Principles (abstract)