Learning Assumptions for Compositional Verification of Timed Automata.

Hanyue Chen Yu Su Miaomiao Zhang Zhiming Liu Junri Mi

Published in: CAV (1) (2023)

Keyphrases

learning process
learning algorithm
knowledge acquisition
mobile learning
learning tasks
case study
active learning
learning systems
inductive learning
artificial intelligence
reinforcement learning
mobile robot
low cost
unsupervised learning
learning analytics
timed automata