Revealing vs. Concealing: More Simulation Games for Büchi Inclusion

DOI10.1007/978-3-642-37064-9_31zbMath1377.68113OpenAlexW2158095202MaRDI QIDQ4910474

Martin Lange, Etienne Lozes, Milka Hutagalung

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_31

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (4)

Unnamed Item ⋮ Coinductive Algorithms for Büchi Automata ⋮ Multi-buffer simulations: decidability and complexity ⋮ Topological Characterisation of Multi-Buffer Simulation

This page was built for publication: Revealing vs. Concealing: More Simulation Games for Büchi Inclusion