Learning Minimal Separating DFA's for Compositional Verification.
Yu-Fang ChenAzadeh FarzanEdmund M. ClarkeYih-Kuen TsayBow-Yaw WangPublished in: TACAS (2009)
Keyphrases
- learning scheme
- learning process
- learning algorithm
- online learning
- active learning
- deterministic finite automata
- learning systems
- supervised learning
- unsupervised learning
- neural network
- database
- metadata
- e learning
- knowledge acquisition
- learning activities
- artificial intelligence
- higher education
- learning community
- inductive inference