Concurrent Stochastic Lossy Channel Games.

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Browse the full CSL paper archive.