Fair Termination for Parameterized Probabilistic Concurrent Systems.

Ondrej Lengl, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rmmer

Browse the full TACAS paper archive.