Simulation distances

DOI10.1007/978-3-642-15375-4_18zbMATH Open1287.68127OpenAlexW2914759716MaRDI QIDQ3584934FDOQ3584934

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

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://repository.ist.ac.at/42/1/Simulation_distances.pdf

Recommendations

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (11)

• From model checking to model measuring
• General quantitative specification theories with modal transition systems
• Metrics for weighted transition systems: axiomatization and complexity
• Simulation distances
• Measuring masking fault-tolerance
• Quantitative simulation games
• Program repair without regret
• Enhancing Automata Learning by Log-Based Metrics
• Interface simulation distances
• Interface simulation distances
• Semantic distance between specifications

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 Q3584934)