Alternating-time temporal logic with resource bounds

DOI10.1093/logcom/exv034zbMath1444.03037OpenAlexW2108913612MaRDI QIDQ4612421

Hoang Nga Nguyen, Natasha Alechina, Abdur Rakib, Brian Logan

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv034

zbMATH Keywords

resourcesstrategic abilityaxiomatisation of RB-ATL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Formal modelling and verification of probabilistic resource bounded agents ⋮ An epistemic logic for multi-agent systems with budget and costs ⋮ On a Logic for Coalitional Games with Priced-Resource Agents

This page was built for publication: Alternating-time temporal logic with resource bounds