11 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.MA2023★ 11 cited
Multi-Valued Verification of Strategic Ability
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski +1
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over…
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…