BOOK-CHAPTER

From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata

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

Year: 2017 Lecture notes in computer science Pages: 426-442   Publisher: Springer Science+Business Media
Keywords:

Metrics

27
Cited By
6.36
FWCI (Field Weighted Citation Impact)
18
Refs
0.97
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
Synthetic Organic Chemistry Methods
Physical Sciences →  Chemistry →  Organic Chemistry
Fuel Cells and Related Materials
Physical Sciences →  Engineering →  Electrical and Electronic Engineering

Related Documents

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
BOOK-CHAPTER

Efficient Learning of Weak Deterministic Büchi Automata

Mona AlluwaymYong LiSven ScheweQiyi Tang

Frontiers in artificial intelligence and applications Year: 2025
© 2026 ScienceGate Book Chapters — All rights reserved.