Learning One-Clock Timed Automata.

Jie An Mingshuai Chen Bohua Zhan Naijun Zhan Miaomiao Zhang

Published in: CoRR (2019)

Keyphrases

learning process
prior knowledge
learning systems
timed automata
database
neural network
learning scenarios
incremental learning
social networks
decision trees
state space
supervised learning
online learning