Dynamic Testing Via Automata Learning.
Harald RaffeltBernhard SteffenTiziana MargariaPublished in: Haifa Verification Conference (2007)
Keyphrases
- learning algorithm
- learning process
- supervised learning
- learning tasks
- machine learning
- dynamic environments
- deterministic finite automata
- real time
- grammatical inference
- learning scheme
- learning community
- incremental learning
- learning systems
- unsupervised learning
- active learning
- reinforcement learning
- artificial intelligence