Game Refinement Relations and Metrics
From MaRDI portal
Publication:3535612
DOI10.2168/LMCS-4(3:7)2008zbMath1147.68056MaRDI QIDQ3535612
Luca de Alfaro, Mariëlle I. A. Stoelinga, Vishwanath Raman, Rupak Majumdar
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
simulationreachabilitysafetybisimulationprobability of winning from a given statequantitative mu-calculustwo-player games over finite state spaces
2-person games (91A05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Multistage and repeated games (91A20)
Related Items (23)
An Algorithm for Probabilistic Alternating Simulation ⋮ A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ SOS specifications for uniformly continuous operators ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Approximating Markov processes through filtration ⋮ On behavioural pseudometrics and closure ordinals ⋮ Interface simulation distances ⋮ Dynamic Cheap Talk for Robust Adversarial Learning ⋮ Weighted modal transition systems ⋮ Relating strong behavioral equivalences for processes with nondeterminism and probabilities ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ Bisimulations Meet PCTL Equivalences for Probabilistic Automata ⋮ Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations ⋮ Simulation distances ⋮ Compositional weak metrics for group key update ⋮ Measuring and Synthesizing Systems in Probabilistic Environments
This page was built for publication: Game Refinement Relations and Metrics
