Verifying requirements for resource-bounded agents
(2011)
Thesis
This thesis presents frameworks for the modelling and verification of resource-bounded reasoning agents. The resources considered include the time, memory, and communication bandwidth required by agents to achieve a goal. The scalability and expressi... Read More about Verifying requirements for resource-bounded agents.