State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

DOI10.1007/978-3-030-48006-6_2OpenAlexW3027527117MaRDI QIDQ5049036

Brian Logan, Natasha Alechina

Publication date: 9 November 2022

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

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (1)

Strategic reasoning with a bounded number of resources: the quest for tractability

Uses Software

• PRISM
• MCMAS
• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The virtues of idleness: a decidable fragment of resource agent logic
• Decision problems for propositional linear logic
• Petri nets, Horn programs, linear logic and vector games
• Model-checking for resource-bounded ATL with production and consumption of resources
• On a Logic for Coalitional Games with Priced-Resource Agents
• Solving Parity Games on Integer Vectors
• Generalized Mean-payoff and Energy Games
• Alternating Vector Addition Systems with States
• On the (un-)decidability of model-checking resource-bounded agents
• Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
• Logic for coalitions with bounded resources
• Verifying Systems of Resource-Bounded Agents
• Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
• Alternating-time temporal logic
• Reachability Games on Extended Vector Addition Systems with States
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• On the complexity of resource-bounded logics

This page was built for publication: State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems