Back to Results
First PageMeta Content
Artificial intelligence / Multi-agent systems / Modeling and simulation / Systems science / Agent-based model / Artificial life / Complex systems theory / Model checking / Temporal logic / Intelligent agent / Sociology


Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop
Add to Reading List

Document Date: 2015-11-05 09:28:54


Open Document

File Size: 417,81 KB

Share Result on Facebook
UPDATE