Rakib Abdur's Outputs (2)

Logic for coalitions with bounded resources (2011)
Journal Article

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However, there is no natural way of expressing resource requirements in these logics. In this a... Read More about Logic for coalitions with bounded resources.

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.