Paper accepted in JCST

We are delighted that our paper about model checking probabilistic multi-agent systems has been accepted in the JCST journal.