Implementation and Application of Automata
From MaRDI portal
Publication:5897682
DOI10.1007/11605157zbMath1172.68490MaRDI QIDQ5897682
Christoph Schulte Althoff, Nico Wallmeier, Wolfgang Thomas
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11605157
68Q45: Formal languages and automata
Related Items
From LTL to Symbolically Represented Deterministic Automata, Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic, Linear temporal logic -- from infinite to finite horizon, New Optimizations and Heuristics for Determinization of Büchi Automata