Quantitative simulation games

DOI10.1007/978-3-642-13754-9_3MaRDI QIDQ3587251zbMATH OpenOpenAlexFDO

Authors Pavol Černý, Arjun Radhakrishna, Thomas A. Henzinger

Publication date 7 September 2010

Published in Time for Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13754-9_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Games involving graphs (91A43) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Error probability in coding theory (94B70)

Recommendations

• Simulation distances
• Simulation distances
• Interface simulation distances
• Metrics for weighted transition systems: axiomatization and complexity
• Interface simulation distances

Cites work

• scientific article; zbMATH DE number 2017358 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A Mathematical Theory of Communication
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Approximating and computing behavioural distances in probabilistic transition systems
• Better Quality in Synthesis through Quantitative Objectives
• Expressiveness and closure properties for quantitative languages
• Metrics for labelled Markov processes
• Positional strategies for mean payoff games
• Quantitative Languages
• The Use of Triple-Modular Redundancy to Improve Computer Reliability
• The complexity of mean payoff games on graphs
• Weighted automata and weighted logics

Cited in

(6)

• Simulation distances
• Simulation distances
• Uncertainty in runtime verification: a survey
• Measuring masking fault-tolerance
• Interface simulation distances
• Interface simulation distances

This page was built for publication: Quantitative simulation games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587251)