Formal modelling and verification of probabilistic resource bounded agents
From MaRDI portal
Publication:6190087
DOI10.1007/s10849-023-09405-1MaRDI QIDQ6190087
Publication date: 6 February 2024
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Markov decision processmulti-agent systemsprobabilistic logicalternating-time temporal logiclogic of resources
Cites Work
- On the computational complexity of qualitative coalitional games
- Reasoning about coalitional games
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Automatic verification of competitive stochastic systems
- Complete axiomatization and decidability of alternating-time temporal logic
- On a Logic for Coalitional Games with Priced-Resource Agents
- Reasoning about Actions Meets Strategic Logics
- Model checking of probabilistic and nondeterministic systems
- Quantitative Multi-objective Verification for Probabilistic Systems
- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
- Stochastic Model Checking
- Logic for coalitions with bounded resources
- Alternating-time temporal logic
- Expressing Properties of Coalitional Ability under Resource Bounds
- Algorithms for stochastic games ? A survey
- A Modal Logic for Coalitional Power in Games
- Alternating-time temporal logic with resource bounds
- On the complexity of resource-bounded logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item