An Algorithm for Probabilistic Alternating Simulation.

Chenyi Zhang, Jun Pang

Browse the full SOFSEM paper archive.