References of "Knapik, Micha L"
     in
Bookmark and Share    
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: 17 (0 UL)