33 citations · 65 across the 13 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.GT2012
Uniform Strategies
Bastien Maubert, Sophie Pinchinat
We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some semantical motive.…
cs.LO2012★ 33 cited
Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be sa…