Concepedia

Damian Kurpiewski

DK

Statistics

Publications

4

Citations

53

H-Index

4

Active since

2017

Affiliations

Polish Academy of Sciences(Current)

Institute of Computer Science

Damian Kurpiewski is an author at Polish Academy of Sciences specializing in computer science, model checking, and predicate logic.

Publications per year

2017–2020

4

Publications

4

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski et al. · 2019 · 16 citations · Full text

Computing, Computer Science, Mathematics +14

Fixpoint Approximation of Strategic Abilities under Imperfect Information

Wojciech Jamroga, Michał Knapik, Damian Kurpiewski · Adaptive Agents and Multi-Agents Systems · 2017 · 14 citations

Computing, Computer Science, Algorithms +15

Approximate verification of strategic abilities under imperfect information

Wojciech Jamroga, Michał Knapik, Damian Kurpiewski et al. · Artificial Intelligence · 2019 · 12 citations · Full text

Social Sciences, Economics, Decision Theory +15

Multi-valued Verification of Strategic Ability

Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski et al. · Fundamenta Informaticae · 2020 · 11 citations · Full text

Computing, Computer Science, Distributed Systems +12

1–4 of 4