Publications

Filters: Author is Yakir Vizel  [Clear All Filters]
2022
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., “Playing Against Fair Adversaries in Stochastic Games with Total Rewards”, in Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, vol. 13372, S. Shoham and Vizel, Y., Eds. Springer, 2022, pp. 48–69.PDF icon paper-820.pdf (455.94 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054