Author:
Chen Taolue,Forejt Vojtěch,Kwiatkowska Marta,Simaitis Aistis,Trivedi Ashutosh,Ummels Michael
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., Kučera, A.: Two views on multiple mean-payoff objectives in Markov decision processes. In: LICS, pp. 33–42 (2011)
2. Cabot, A.N., Hannum, R.C.: Gaming regulation and mathematics: A marriage of necessity. John Marshall Law Review 35(3), 333–358 (2002)
3. Chatterjee, K., Henzinger, T.A.: A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2), 394–413 (2012)
4. Lecture Notes in Computer Science;K. Chatterjee,2006
5. Chen, T., Forejt, V., Kwiatkowska, M., Simaitis, A., Trivedi, A., Ummels, M.: Playing stochastic games precisely. Technical Report No. CS-RR-12-03, Department of Computer Science, University of Oxford (June 2012)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stochastic Games for User Journeys;Lecture Notes in Computer Science;2024-09-13
2. Arena-Independent Finite-Memory Determinacy in Stochastic Games;Logical Methods in Computer Science;2023-12-01
3. Formal Methods for an Iterated Volunteer’s Dilemma;Social, Cultural, and Behavioral Modeling;2021
4. Automated Management of Collections of Autonomic Systems;2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2020-08
5. Run-Time Optimization for Learned Controllers Through Quantitative Games;Computer Aided Verification;2019