Learning Deterministic Multi-Clock Timed Automata.

Yu Teng Miaomiao Zhang Jie An

Published in: HSCC (2024)

Keyphrases

learning process
active learning
learning systems
learning algorithm
inductive learning
data sets
training data
reinforcement learning
artificial neural networks
mobile robot
online learning
learning problems
learning scenarios
learning community
learning scheme
timed automata