A Note on Monitors and Büchi Automata

DOI10.1007/978-3-319-25150-9_3zbMath1471.68115arXiv1507.01020OpenAlexW1848583964MaRDI QIDQ2787415

Volker Diekert, Igor Walukiewicz, Anca Muscholl

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.01020

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Two Effective Properties of ω-Rational Functions ⋮ On relative and probabilistic finite counterability ⋮ Shift-invariant topologies for the Cantor space \(X^{\omega}\)

This page was built for publication: A Note on Monitors and Büchi Automata