33 citations · 116 across the 22 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 7 cited
New results on pushdown module checking with imperfect information
Laura Bozzelli
Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in…
cs.GT2011★ 11 cited
Opacity Issues in Games with Imperfect Information
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and w…