How to Manage a Budget with ATL+

Download PDF
Open Webpage

Stéphane Demri, Raine Rönnholm

Published: 01 Jan 2023, Last Modified: 13 Oct 2024KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We study the alternating-time temporal logic ATL+ enriched with one resource (written ATL+(1)) extending ATL+ with the possibility to manage a budget. We propose a game-theoretic semantics via the...