Interface simulation distances

zbMATH Open1459.68097MaRDI QIDQ4986503FDOQ4986503

Authors: Pavol Černý, Martin Chmelík, Arjun Radhakrishna, Thomas A. Henzinger 

Publication date: 27 April 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.3

Recommendations

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Simulation distances
• Simulation distances
• Quantitative simulation games
• CEGAR for compositional analysis of qualitative properties in Markov decision processes
• Interface simulation distances

This page was built for publication: Interface simulation distances

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