Interface simulation distances

MaRDI QIDQ4986503zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

Recommendations

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

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)