Skip to main content

Research Repository

Advanced Search

Probabilistic resource-bounded alternating-time temporal logic

Nguyen, Hoang Nga; Rakib, Abdur

Authors

Hoang Nga Nguyen

Profile Image

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security



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

Presentation Conference Type Poster
Conference Name International Conference on Autonomous Agents and Multiagent Systems
Start Date May 13, 2019
End Date May 17, 2019
Acceptance Date Jan 23, 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)