Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.
Georgios GiantamidisStylianos BasagiannisStavros TripakisPublished in: SAFECOMP (2020)
Keyphrases
- inductive inference
- recursive functions
- context free
- grammatical inference
- learning algorithm
- intrinsic complexity
- learning paradigms
- hypothesis spaces
- kolmogorov complexity
- case based learning
- learning process
- languages from positive data
- vc dimension
- learning tasks
- pattern languages
- deterministic finite automata
- background knowledge
- learning from positive data
- closed sets
- efficient learning
- positive examples
- regular expressions
- supervised learning