@conference { , title = {A probabilistic logic for resource-bounded multi-agent systems}, abstract = {Resource-bounded alternating-time temporal logic (RB-ATL), an extension of Coalition Logic (CL) and Alternating-time Temporal Logic (ATL), allows reasoning about resource requirements of coalitions in concurrent systems. However, many real-world systems are inherently probabilistic as well as resource-bounded, and there is no straightforward way of reasoning about their unpredictable behaviours. In this paper, we propose a logic for reasoning about coalitional power under resource constraints in the probabilistic setting. We extend \\rbatl~with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic Resource-Bounded ATL (pRB-ATL).}, conference = {28th International Joint Conference on Artificial Intelligence}, publicationstatus = {Unpublished}, url = {https://uwe-repository.worktribe.com/output/847134}, keyword = {Computer Science Research Centre, agent theories and models, formal verification, validation and synthesis}, author = {Nguyen, Hoang Nga and Rakib, Abdur} }