BOOK-CHAPTER

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata

Carsten Fritz

Year: 2003 Lecture notes in computer science Pages: 35-48   Publisher: Springer Science+Business Media
Keywords:
Nondeterministic algorithm Computer science Automaton Nondeterministic finite automaton On the fly Translation (biology) Linear temporal logic Büchi automaton Algorithm Theoretical computer science Discrete mathematics Automata theory Deterministic automaton Mathematics

Metrics

93
Cited By
9.30
FWCI (Field Weighted Citation Impact)
28
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Natural Language Processing Techniques
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Simulation relations for alternating Büchi automata

Carsten FritzThomas Wilke

Journal:   Theoretical Computer Science Year: 2005 Vol: 338 (1-3)Pages: 275-314
BOOK-CHAPTER

Alternating Büchi Automata

Martin HofmannMartin Lange

Year: 2025 Pages: 209-239
JOURNAL ARTICLE

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Javier EsparzaJan KřetínskýJean-François RaskinSalomon Sickert

Journal:   International Journal on Software Tools for Technology Transfer Year: 2022 Vol: 24 (4)Pages: 635-659
JOURNAL ARTICLE

Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata

Yong LiSven ScheweMoshe Y. Vardi

Journal:   Theoretical Computer Science Year: 2024 Vol: 1006 Pages: 114650-114650
© 2026 ScienceGate Book Chapters — All rights reserved.