Playing Against Fair Adversaries in Stochastic Games with Total Rewards
Authors: Pablo Castro, Pedro R. D'Argenio, Luciano Putruele and Ramiro Demasi
Paper Information
| Title: | Playing Against Fair Adversaries in Stochastic Games with Total Rewards |
| Authors: | Pablo Castro, Pedro R. D'Argenio, Luciano Putruele and Ramiro Demasi |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Stochastic Games, Controller Synthesis, Software Verification |
| Pages: | 21 |
| Talk: | Aug 08 16:40 (Session 98A: Probabilistic Techniques) |
| Paper: |  |