Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.

Tadashi Araragi Seung Mo Cho

Published in: MoChArt (2006)

Keyphrases

concurrent systems
reinforcement learning
temporal logic
transition systems
process algebra
distributed systems
petri net
fine grained
supervised learning
formal specification
reinforcement learning algorithms
learning process
neural network
model free
temporal difference
learning algorithm
machine learning