48 citations · 241 across the 30 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 40 cited
Quantified CTL: Expressiveness and Complexity
François Laroussinie, Nicolas Markey
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending…
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…