Efficient approach of translating LTL formulae into Büchi automata (Q1633083)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient approach of translating LTL formulae into Büchi automata |
scientific article; zbMATH DE number 6995657
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient approach of translating LTL formulae into Büchi automata |
scientific article; zbMATH DE number 6995657 |
Statements
Efficient approach of translating LTL formulae into Büchi automata (English)
0 references
19 December 2018
0 references
model checking
0 references
Büchi automata
0 references
acceptance degree
0 references
on-the-fly de-generalization
0 references
0.9492259
0 references
0.9116569
0 references
