Skip to main content

Research Repository

Advanced Search

All Outputs (1)

Verifying requirements for resource-bounded agents (2011)
Thesis
Rakib, A. Verifying requirements for resource-bounded agents. (Thesis). University of Nottingham. Retrieved from https://uwe-repository.worktribe.com/output/958223

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.