Damian Kurpiewski
Damian Kurpiewski
Affiliation: Institute of Computer Science, Polish Academy of Sciences
Talks
(KR)
Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking · Temporal reasoning
Pages in this Program
Program
Program on Wednesday, 22 July 2026
KR on Wednesday, 22 July 2026
KR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑