A new algorithm generates unambiguous Büchi automata from LTL formulas via disambiguation of very weak alternating automata, including optimizations and LTL simplifications for smaller sizes.
Journal of the ACM 32(3), 733–749 (1985) 18 Simon Jantsch et al
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
From LTL to Unambiguous B\"uchi Automata via Disambiguation of Alternating Automata
A new algorithm generates unambiguous Büchi automata from LTL formulas via disambiguation of very weak alternating automata, including optimizations and LTL simplifications for smaller sizes.