Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.

Taolue Chen Jian Lu Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm. 35-39 2007 FSKD (2) http://dx.doi.org/10.1109/FSKD.2007.458 conf/fskd/2007-2 db/conf/fskd/fskd2007-2.html#ChenL07a