Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).

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

Published in: CoRR (2017)

Keyphrases

concurrent systems
learning process
learning algorithm
active learning
machine learning
learning problems
knowledge acquisition
supervised learning
multi agent systems
distributed systems
training data
learning systems
fine grained
learning tasks
case study
incremental learning
learning scheme
neural network