Probabilistic resource-bounded alternating-time temporal logic

    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