An Abstract Framework for Counterexample Analysis in Active Automata Learning.
Malte IsbernerBernhard SteffenPublished in: ICGI (2014)
Keyphrases
- learning systems
- learning process
- learning scheme
- multi task
- data analysis
- learning algorithm
- distributed learning
- prior knowledge
- abstract interpretation
- data sets
- learning problems
- learning tasks
- multi agent
- knowledge acquisition
- unsupervised learning
- statistical analysis
- online learning
- background knowledge
- low level
- image analysis
- design principles
- multi agent systems
- finite state
- analysis tool
- reinforcement learning
- high level