State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
From MaRDI portal
Publication:5049036
DOI10.1007/978-3-030-48006-6_2OpenAlexW3027527117MaRDI QIDQ5049036FDOQ5049036
Authors: Natasha Alechina, Brian Logan 
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
Recommendations
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Decision problems for propositional linear logic
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Generalized mean-payoff and energy games
- Fixed-dimensional energy games are in pseudo-polynomial time
- Logic for coalitions with bounded resources
- Solving parity games on integer vectors
- Model-checking for resource-bounded ATL with production and consumption of resources
- On a logic for coalitional games with priced-resource agents
- On the (un-)decidability of model checking resource-bounded agents
- Expressing properties of resource-bounded systems: the logics RTL\(^{*}\) and RTL
- How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
- Model checking coalitional games in shortage resource scenarios
- The virtues of idleness: a decidable fragment of resource agent logic
- Decidable model-checking for a resource logic with production of resources
- Petri nets, Horn programs, linear logic and vector games
- On the complexity of resource-bounded logics
- Verifying systems of resource-bounded agents
- Reachability games on extended vector addition systems with states
- Games for counting abstractions
- Alternating vector addition systems with states
Cited In (6)
- Parameterised verification for multi-agent systems
- Verifying time, memory and communication bounds in systems of reasoning agents
- Formalization of semantics of systems with unreliable agents by means of nets of active resources
- Systems of agents controlled by logical programs: complexity of verification
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Practical verification of multi-agent systems against \textsc{Slk} specifications
Uses Software
This page was built for publication: State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049036)
