Extended ω-Regular Languages and Interval Temporal Logic.
Dario Della MonicaAngelo MontanariPietro SalaPublished in: ICTCS (2021)
Keyphrases
- temporal logic
- regular languages
- model checking
- context free languages
- grammatical inference
- regular expressions
- modal logic
- context free grammars
- finite automata
- decision problems
- verification method
- linear temporal logic
- finite state machines
- pac learning
- positive data
- learning theory
- pattern matching
- object oriented