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)
Recommendations
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?)
- 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
- Error detecting and error correcting codes
- Expressiveness and closure properties for quantitative languages
- Fair simulation
- Game Refinement Relations and Metrics
- Metrics for labelled Markov processes
- Simulation distances
- 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
(23)- A framework to measure the robustness of programs in the unpredictable environment
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- A multiple-valued logic approach to the design and verification of hardware circuits
- Metrics for weighted transition systems: axiomatization and complexity
- scientific article; zbMATH DE number 7577583 (Why is no real title available?)
- 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
- 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)
