Stochastic Parity Games on Lossy Channel Systems

Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg. Stochastic Parity Games on Lossy Channel Systems. In Kaustubh R. Joshi, Markus Siegle, Mariƫlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 338-354, Springer, 2013. [doi]

Abstract

Abstract is missing.