From linear temporal logics to Büchi automata: the early and simple principle (Q6041188)
From MaRDI portal
scientific article; zbMATH DE number 7689299
Language | Label | Description | Also known as |
---|---|---|---|
English | From linear temporal logics to Büchi automata: the early and simple principle |
scientific article; zbMATH DE number 7689299 |
Statements
From linear temporal logics to Büchi automata: the early and simple principle (English)
0 references
26 May 2023
0 references
alternating automata
0 references
automata-theoretic approach
0 references
Büchi automata
0 references
linear temporal logic
0 references
LTL
0 references
omega-automata
0 references
PTL
0 references
two-way automata
0 references
very weak automata
0 references
0 references