Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen, Rakib Abdur

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

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 publication AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada
Place of PublicationUnited States
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
Country/TerritoryCanada
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