Time to Learn - Learning Timed Automata from Tests.
Martin TapplerBernhard K. AichernigKim Guldstrand LarsenFlorian LorberPublished in: FORMATS (2019)
Keyphrases
- learning algorithm
- learning process
- online learning
- decision trees
- iterative learning
- learning problems
- active learning
- supervised learning
- interactive learning
- efficient learning
- learning scheme
- learning rules
- background knowledge
- acquire knowledge
- learning tasks
- knowledge acquisition
- reinforcement learning
- knowledge base