PAMC: Probabilistic Alternating-Time Mu-Calculus (PAMC)

Satisfiability checker PAMCSolver