Probabilistic resource-bounded alternating-time temporal logic

Nguyen, Hoang Nga; Rakib, Abdur

Abstract

This paper extends resource-bounded ATL (RB-ATL)
with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL (pRB-ATL).

Citation

Nguyen, H. N., & Rakib, A. (2019, May). Probabilistic resource-bounded alternating-time temporal logic. Poster presented at International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada

• Presentation Conference Type: Poster
• Conference Name: International Conference on Autonomous Agents and Multiagent Systems
• Conference Location: Montreal, Canada
• Start Date: May 13, 2019
• End Date: May 17, 2019
• Acceptance Date: Jan 23, 2019
• Deposit Date: Mar 14, 2019
• Peer Reviewed: Peer Reviewed
• Keywords: logics for resource-bounded agents, probabilistic reasoning
• Public URL: https://uwe-repository.worktribe.com/output/853456
• Publisher URL: http://www.ifaamas.org/
• Additional Information: Title of Conference or Conference Proceedings : Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)