A Complexity Measure on Büchi Automata

DOI10.1007/978-3-319-30000-9_8zbMath1435.68159OpenAlexW2398481203MaRDI QIDQ2798713

Dana Fisman

Publication date: 13 April 2016

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-319-30000-9_8

zbMATH Keywords

program verificationsystem analysisautomata and logicclassification of regular \(\omega\)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)