Learning Timed Automata via Genetic Programming.

Martin Tappler Bernhard K. Aichernig Kim Guldstrand Larsen Florian Lorber

Published in: CoRR (2018)

Keyphrases

genetic programming
learning process
learning algorithm
online learning
learning systems
reinforcement learning
active learning
probability distribution
unsupervised learning
mobile learning
timed automata