2019
DOI: 10.1007/978-3-030-32505-3_10
|View full text |Cite
|
Sign up to set email alerts
|

LTL to Smaller Self-Loop Alternating Automata and Back

Abstract: Self-loop alternating automata (SLAA) with Büchi or co-Büchi acceptance are popular intermediate formalisms in translations of LTL to deterministic or nondeterministic automata. This paper considers SLAA with generic transition-based Emerson-Lei acceptance and presents translations of LTL to these automata and back. Importantly, the translation of LTL to SLAA with generic acceptance produces considerably smaller automata than previous translations of LTL to Büchi or co-Büchi SLAA. Our translation is already im… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
1
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 24 publications
0
1
0
Order By: Relevance
“…Another way of translating TELA to GBA was described in [14]. Translations from LTL to TELA have been proposed in [8,26,29], and all of them use product constructions to combine automata for subformulas. The emptiness-check for ω-automata under different types of acceptance conditions has been studied in [3,9,11,16], where [3] covers the general case of Emerson-Lei conditions and also considers qualitative probabilistic model checking using deterministic TELA.…”
Section: Related Workmentioning
confidence: 99%
“…Another way of translating TELA to GBA was described in [14]. Translations from LTL to TELA have been proposed in [8,26,29], and all of them use product constructions to combine automata for subformulas. The emptiness-check for ω-automata under different types of acceptance conditions has been studied in [3,9,11,16], where [3] covers the general case of Emerson-Lei conditions and also considers qualitative probabilistic model checking using deterministic TELA.…”
Section: Related Workmentioning
confidence: 99%