Learning One-Clock Timed Automata.
Jie AnMingshuai ChenBohua ZhanNaijun ZhanMiaomiao ZhangPublished in: TACAS (1) (2020)
Keyphrases
- learning process
- timed automata
- learning systems
- learning problems
- learning algorithm
- model checking
- active learning
- artificial neural networks
- knowledge base
- prior knowledge
- online learning
- unsupervised learning
- reinforcement learning
- higher education
- case study
- learning tasks
- incremental learning
- learning analytics
- learning mechanism
- real time