Formal modelling and verification of probabilistic resource bounded agents

DOI10.1007/s10849-023-09405-1MaRDI QIDQ6190087

Hoang Nga Nguyen, Abdur Rakib

Publication date: 6 February 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

Markov decision processmulti-agent systemsprobabilistic logicalternating-time temporal logiclogic of resources

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

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