References of "Kurpiewski, Damian"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn Domination and Control in Strategic Ability (Extended Abstract)
Kurpiewski, Damian; Knapik, Michal; Jamroga, Wojciech UL

in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC) (2019)

Detailed reference viewed: 3 (0 UL)
Full Text
Peer Reviewed
See detailSTV: Model Checking for Strategies under Imperfect Information
Kurpiewski, Damian; Jamroga, Wojciech UL; Knapik, Micha L

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailOn Domination and Control in Strategic Ability
Kurpiewski, Damian; Knapik, Micha L; Jamroga, Wojciech UL

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailApproximate Verification of Strategic Abilities under Imperfect Information
Jamroga, Wojciech UL; Knapik, Micha L; Kurpiewski, Damian et al

in Artificial Intelligence (2019), 277

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailStrategy Logic with Simple Goals: Tractable Reasoning about Strategies
Belardinelli, Francesco; Jamroga, Wojciech UL; Kurpiewski, Damian et al

in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)

Detailed reference viewed: 13 (0 UL)