Piotr Kaźmierczak
Piotr Kaźmierczak
Viasat Inc.
Verified email at piotr.is - Homepage
Title
Cited by
Cited by
Year
NORMC: a Norm Compliance Temporal Logic Model Checker.
P Kazmierczak, T Pedersen, T ┼gotnes
STAIRS, 168-179, 2012
142012
Multi-agency is coordination and (limited) communication
P Kaźmierczak, T ┼gotnes, W Jamroga
International Conference on Principles and Practice of Multi-Agent Systemsá…, 2014
92014
Concurrent game structures with roles
T Pedersen, S Dyrkolbotn, P Kaźmierczak, E Parmann
arXiv preprint arXiv:1303.0792, 2013
42013
Big, but not unruly: Tractable norms for anonymous game structures
T Pedersen, S Dyrkolbotn, P Kaźmierczak
arXiv preprint arXiv:1405.6899, 2014
12014
Playing with norms: tractability of normative systems for homogeneous game structures
S Dyrkolbotn, P Kazmierczak
Proceedings of the 2014 international conference on Autonomous agents andá…, 2014
12014
No big deal: introducing roles to reduce the size of ATL models
S Dyrkolbotn, P Kaźmierczak, E Parmann, T Pedersen
arXiv preprint arXiv:1204.3495, 2012
12012
Compliance Games
P Kaźmierczak
European Conference on Multi-Agent Systems, 210-218, 2014
2014
Gerhard Weiss (ed.): Multiagent Systems
P Kaźmierczak
KI-KŘnstliche Intelligenz 28 (3), 223-224, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–8