TY - THES DP - http://www.theses.fr/2017USPCC165 TI - Quantitative analysis of stochastic systems : priority games and populations of Markov chains AU - Karelović, Bruno A3 - Zielonka, Wieslaw; Genest, Blaise PY - 2017 N1 - Thèse de doctorat Informatique. Théorie des jeux Sorbonne Paris Cité 2017 N1 - 2017USPCC165 UR - http://www.theses.fr/2017USPCC165/document ER -