Multi-buffer simulations for trace language inclusion

MaRDI QIDQ5015280zbMATH OpenFDO

Authors Milka Hutagalung, Norbert Hundeshagen, Martin Lange, Etienne Lozes, Dietrich Kuske

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1609.04098, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.15

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Applications of game theory (91A80)

Recommendations

• Multi-buffer simulations: decidability and complexity
• Buffered simulation games for Büchi automata
• Revealing vs. concealing: more simulation games for Büchi inclusion
• Topological characterisation of multi-buffer simulation
• Quantitative fair simulation games

Cites work

• Advanced automata minimization
• Borel determinacy
• Buffered simulation games for Büchi automata
• Checking for language inclusion using simulation preorders
• Computing Simulations over Tree Automata
• Conditionally Optimal Algorithms for Generalized B\"uchi Games
• Degrees of lookahead in regular infinite games
• scientific article; zbMATH DE number 1927559 (Why is no real title available?)
• scientific article; zbMATH DE number 1754630 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Mixing Lossy and Perfect Fifo Channels
• On Communicating Finite-State Machines
• Recursive Predicates and Quantifiers
• Revealing vs. concealing: more simulation games for Büchi inclusion
• Simulation relations for alternating Büchi automata
• The theory of ends, pushdown automata, and second-order logic
• Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular -language

Cited in

(5)

• Topological characterisation of multi-buffer simulation
• Multi-buffer simulations: decidability and complexity
• Revealing vs. concealing: more simulation games for Büchi inclusion
• Topological characterisation of multi-buffer simulation
• Buffered simulation games for Büchi automata

This page was built for publication: Multi-buffer simulations for trace language inclusion

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