Quantitative simulation games
type: Item
instance of: scholarly article
title: Quantitative Simulation Games
zbMATH Open document ID: 1288.68180
DOI: 10.1007/978-3-642-13754-9_3
author: Pavol Černý
author: Arjun Radhakrishna
author: Thomas A. Henzinger
published in: Time for Verification
publication date: 2010-09-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 91A43
Mathematics Subject Classification ID: 91A80
Mathematics Subject Classification ID: 94B70
zbMATH DE Number: 5780211
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-13754-9 3
OpenAlex ID: W1531170032
cites work: Q5692280
cites work: Better Quality in Synthesis through Quantitative Objectives
cites work: Q4439589
cites work: Quantitative Languages
cites work: Expressiveness and closure properties for quantitative languages
cites work: Q4449238
cites work: Metrics for labelled Markov processes
cites work: Weighted automata and weighted logics
cites work: Positional strategies for mean payoff games
cites work: The Use of Triple-Modular Redundancy to Improve Computer Reliability
cites work: A Mathematical Theory of Communication
cites work: An introduction to metric semantics: Operational and denotational models for programming and specification languages
cites work: Approximating and computing behavioural distances in probabilistic transition systems
cites work: The complexity of mean payoff games on graphs
Recommended article: Simulation distances
Recommended article: Interface simulation distances
Recommended article: Metrics for weighted transition systems: axiomatization and complexity
description: scientific article; zbMATH DE number 5780211