L*-Based Learning of Probabilistic Timed Automata with One Clock (S).
Rong WuPublished in: SEKE (2023)
Keyphrases
- real time
- learning algorithm
- prior knowledge
- online learning
- active learning
- supervised learning
- reinforcement learning
- learning problems
- timed automata
- inductive inference
- theorem proving
- incremental learning
- learning scenarios
- learning systems
- unsupervised learning
- probabilistic model
- mobile robot
- learning process
- multi agent
- neural network