Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.
Azadeh FarzanYu-Fang ChenEdmund M. ClarkeYih-Kuen TsayBow-Yaw WangPublished in: TACAS (2008)
Keyphrases
- regular languages
- grammatical inference
- regular expressions
- context free languages
- finite automata
- positive data
- decision problems
- context free grammars
- pac learning
- context free
- inductive inference
- model checking
- query language
- machine learning
- efficient learning
- finite state machines
- pattern matching
- knowledge based systems