ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.
Juraj MajorFrantisek BlahoudekJan StrejcekMiriama SasarákováTatiana ZboncákováPublished in: ATVA (2019)
Keyphrases
- deterministic automata
- finite automata
- model checking
- finite state
- regular expressions
- grammatical inference
- linear temporal logic
- temporal logic
- bounded model checking
- cognitive neuroscience
- linear time temporal logic
- tree automata
- learning effect
- finite automaton
- data warehouse
- database
- learning process
- case study
- artificial intelligence