Combinations of Qualitative Winning for Stochastic Parity Games. Chatterjee, K. & Piterman, N. In 30th International Conference on Concurrency Theory, of LIPIcs, pages 229-246, Amsterdam, Netherlands, August, 2019. Schloss Dagstuhl.
bibtex   
@INPROCEEDINGS{CP19,
  author    = {K. Chatterjee and
               N. Piterman},
  title     = {Combinations of Qualitative Winning for Stochastic Parity Games},
  booktitle = {30th International Conference on Concurrency Theory},
  pages     = {229-246},
  year      = {2019},
  series    = {LIPIcs},
address = {Amsterdam, Netherlands},
   month = {August},
  publisher = {Schloss Dagstuhl},
  opturl_Paper = {2019/CP19.pdf},
  keywords = {Games},
}

Downloads: 0