4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 4 cited
Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
Steen Vester
We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a count…
cs.GT2014★ 2 cited
Nash Equilibria in Symmetric Games with Partial Observation
Patricia Bouyer, Nicolas Markey, Steen Vester
We investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in h…