Alternating-time temporal logic with resource bounds

DOI10.1093/LOGCOM/EXV034MaRDI QIDQ4612421zbMATH OpenOpenAlexFDO

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

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

axiomatisation of RB-ATLresourcesstrategic ability

Mathematics Subject Classification ID

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

Recommendations

• Logic for coalitions with bounded resources
• On a logic for coalitional games with priced-resource agents
• scientific article; zbMATH DE number 7368413
• Model-checking for resource-bounded ATL with production and consumption of resources
• Model checking coalitional games in shortage resource scenarios

Cited in

(13)

• An epistemic logic for multi-agent systems with budget and costs
• Strategic reasoning with a bounded number of resources: the quest for tractability
• Model-checking for resource-bounded ATL with production and consumption of resources
• On a logic for coalitional games with priced-resource agents
• Alternating-time temporal logic with strong and weak exceptions
• Alternating-time temporal logic
• Expressing properties of coalitional ability under resource bounds
• scientific article; zbMATH DE number 6863862 (Why is no real title available?)
• Model checking coalitional games in shortage resource scenarios
• The virtues of idleness: a decidable fragment of resource agent logic
• Graded Alternating-Time Temporal Logic
• Formal modelling and verification of probabilistic resource bounded agents
• Robust alternating-time temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612421)