Modalidad: Presencial

Lugar: Aula 23

Resumen

Los juegos estocásticos han servido para modelar diversos sistemas del mundo real donde se aprecia un comportamiento estocástico y adversarial. Podemos ver ejemplos de estos en el campo de la seguridad informática [1], la robótica [2], las telecomunicaciones [3] y la gestión de recursos [4], entre otros.

En 2025, Castro y D’Argenio publican el paper Polytopal Stochastic Games [5], en donde por primera vez se presenta el concepto de juego estocástico politópico, respondiendo a la necesidad de modelar juegos estocásticos que puedan capturar mayor incertidumbre sobre las distribuciones de probabilidad que determinan las acciones que toman los distintos jugadores. En el paper estos son estudiados en relación a funciones de recompensa y objetivos de alcanzabilidad.

Este trabajo se concentra en extender el estudio de juegos estocásticos politópicos con objetivos de Rabin. Los objetivos de Rabin permiten describir especificaciones sobre conjuntos de estados que deben ser visitados infinitas veces y conjuntos de estados que deben ser visitados una cantidad finita de veces. A lo largo de esta presentación nos adentraremos sobre por qué resulta interesante estudiar juegos estocásticos politópicos, por qué resulta de importancia estudiar objetivos de Rabin y veremos cómo dar respuestas a las preguntas de quién gana y de cómo se gana en un juego estocástico politópico con un objetivo de Rabin.

 

Palabras claves: juegos, verificación, juegos estocásticos, propiedades omega-regulares

Tambien se transmite en:

https://www.youtube.com/live/fXUhUgq7X7A?si=-bt35dMbv_zbftsn

[1] K. C. Nguyen, T. Alpcan y T. Basar. Stochastic Games for Security in Networks with Interdependent Nodes. 2010. arXiv: 1003 . 2440 [cs.CR]. url: https://arxiv.org/abs/1003.2440. 

[2] K. Muvvala, A. M. Wells, M. Lahijanian, L. E. Kavraki y M. Y. Vardi. Stochastic Games for Interactive Manipulation Domains. 2024. arXiv: 2403.04910 [cs.RO]. url: https://arxiv.org/abs/2403.04910.

[3] M. N. Soorki, W. Saad, M. H. Manshaei y H. Saidi. «Stochastic Coalitional Games for Cooperative Random Access in M2M Communications». En: IEEE Transactions on Wireless Communications 16.9 (2017), págs. 6179-6192. doi: 10.1109/TWC.2017.2720658.

[4] S. R. Etesami, W. Saad, N. B. Mandayam y H. V. Poor. «Stochastic Games for the Smart Grid Energy Management With Prospect Prosumers». En: IEEE Transactions on Automatic Control 63.8 (2018), págs. 2327-2342. doi: 10.1109/TAC.2018.2797217.

[5] P. F. Castro y P. R. D’Argenio. «Polytopal Stochastic Games». En: Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Ed. por N. Bertrand, C. Dubslaff y S. Klüppelholz. Vol. 15760. Lecture Notes in Computer Science. Springer, 2025, págs. 99-117. doi: 10.1007/978-3-031-97439-7\_4.