Follow
Piotr Kaźmierczak
Piotr Kaźmierczak
HashiCorp
Verified email at hashicorp.com - 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
PRIMA 2014: Principles and Practice of Multi-Agent Systems: 17thá…, 2014
122014
Concurrent game structures with roles
T Pedersen, S Dyrkolbotn, P Kaźmierczak, E Parmann
arXiv preprint arXiv:1303.0792, 2013
42013
Gerhard Weiss (ed.): Multiagent Systems: MIT Press, 867 pp., ISBN 978-0-262-01889-0
P Kaźmierczak
KI-KŘnstliche Intelligenz 28 (3), 223-224, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–8