7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.MA2016★ 7 cited
Fixpoint Approximation of Strategic Abilities under Imperfect Information
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
Model checking of strategic ability under imperfect information is known to be hard. The complexity results range from NP-completeness to undecidability, depending on the precise s…
cs.CR2016
Information Security as Strategic (In)effectivity
Wojciech Jamroga, Masoud Tabatabaei
Security of information flow is commonly understood as preventing any information leakage, regardless of how grave or harmless consequences the leakage can have. In this work, we s…