Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen, Abdur Rakib

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Abstract

This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic,
probabilistic resource-bounded ATL.
Original languageEnglish
Title of host publicationInternational Conference on Autonomous Agents and Multiagent Systems
PublisherIFAAMAS
Pages2141-2143
Number of pages3
ISBN (Electronic)978-1-4503-6309-9
Publication statusPublished - May 2019
EventInternational Conference on Autonomous Agents and Multiagent Systems - Montreal, Canada
Duration: 13 May 201917 May 2019
http://aamas2019.encs.concordia.ca/

Conference

ConferenceInternational Conference on Autonomous Agents and Multiagent Systems
Abbreviated titleAAMAS 2019
CountryCanada
CityMontreal
Period13/05/1917/05/19
Internet address

Keywords

  • Logics for resource-bounded agents
  • Probabilistic reasoning

Fingerprint Dive into the research topics of 'Probabilistic resource-bounded alternating-time temporal logic'. Together they form a unique fingerprint.

  • Cite this

    Nguyen, H. N., & Rakib, A. (2019). Probabilistic resource-bounded alternating-time temporal logic. In International Conference on Autonomous Agents and Multiagent Systems (pp. 2141-2143). IFAAMAS.