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

Year: 2022 Journal:   International Journal on Software Tools for Technology Transfer Vol: 24 (4)Pages: 635-659   Publisher: Springer Science+Business Media
Keywords:
Linear temporal logic Automaton Computer science Theory of computation Exponential function Algorithm Limit (mathematics) Theoretical computer science Discrete mathematics Mathematics

Metrics

6
Cited By
1.58
FWCI (Field Weighted Citation Impact)
41
Refs
0.76
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
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
© 2026 ScienceGate Book Chapters — All rights reserved.