Simulation distances
DOI10.1016/J.TCS.2011.08.002zbMATH Open1234.68253OpenAlexW2913545290MaRDI QIDQ764284FDOQ764284
Authors: Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna 
Publication date: 13 March 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.08.002
Recommendations
Applications of game theory (91A80) 2-person games (91A05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- The complexity of mean payoff games on graphs
- Error detecting and error correcting codes
- Approximating and computing behavioural distances in probabilistic transition systems
- Metrics for labelled Markov processes
- Better Quality in Synthesis through Quantitative Objectives
- Title not available (Why is that?)
- Expressiveness and closure properties for quantitative languages
- Game Refinement Relations and Metrics
- Title not available (Why is that?)
- Simulation distances
- Title not available (Why is that?)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Weighted automata and weighted logics
- The Use of Triple-Modular Redundancy to Improve Computer Reliability
- Fair simulation
Cited In (23)
- Title not available (Why is that?)
- A multiple-valued logic approach to the design and verification of hardware circuits
- Metrics for weighted transition systems: axiomatization and complexity
- Title not available (Why is that?)
- Simulation distances
- How adaptive and reliable is your program?
- Limited approximate bisimulations and the corresponding rough approximations
- Model measuring for discrete and hybrid systems
- Measuring masking fault-tolerance
- Weighted modal transition systems
- Quantitative simulation games
- Computing branching distances with quantitative games
- Lattice-valued simulations for quantitative transition systems
- Interface simulation distances
- Interface simulation distances
- Quantitative safety and liveness
- Parametric and quantitative extensions of modal transition systems
- Introduction to model checking
- The quantitative linear-time-branching-time spectrum
- Compositionality for quantitative specifications
- A framework to measure the robustness of programs in the unpredictable environment
- Semantic distance between specifications
- Quantitative fair simulation games
This page was built for publication: Simulation distances
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764284)
