Learning to prove safety over parameterised concurrent systems.

Yu-Fang Chen Chih-Duo Hong Anthony W. Lin Philipp Rümmer

Published in: FMCAD (2017)

Keyphrases

concurrent systems
learning algorithm
learning process
learning systems
reinforcement learning
active learning
learning tasks
information systems
bayesian networks
incremental learning
learning community