1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Polytopal Stochastic Games
Pablo F. Castro, Pedro D'Argenio
In this paper we introduce polytopal stochastic games, an extension of two-player, zero-sum, turn-based stochastic games, in which we may have uncertainty over the transition proba…
cs.LO2009★ 1 cited
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…