Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.

Tadashi Araragi Seung Mo Cho Checking Liveness Properties of Concurrent Systems by Reinforcement Learning. 84-94 2006 conf/mochart/2006 MoChArt http://dx.doi.org/10.1007/978-3-540-74128-2_6 db/conf/mochart/mochart2006.html#AraragiC06