Formal modelling and verification of probabilistic resource bounded agents
From MaRDI portal
Publication:6190087
DOI10.1007/S10849-023-09405-1MaRDI QIDQ6190087FDOQ6190087
Authors: Hoang Nga Nguyen, Abdur Rakib 
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Alternating-time temporal logic
- Title not available (Why is that?)
- Algorithms for stochastic games ? A survey
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model checking of probabilistic and nondeterministic systems
- Quantitative multi-objective verification for probabilistic systems
- Automatic verification of competitive stochastic systems
- On the computational complexity of qualitative coalitional games
- Stochastic model checking
- Logic for coalitions with bounded resources
- Title not available (Why is that?)
- On a logic for coalitional games with priced-resource agents
- Expressing properties of resource-bounded systems: the logics RTL\(^{*}\) and RTL
- Reasoning about actions meets strategic logics
- Complete axiomatization and decidability of alternating-time temporal logic
- Reasoning about coalitional games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Expressing properties of coalitional ability under resource bounds
- On the complexity of resource-bounded logics
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Alternating-time temporal logic with resource bounds
This page was built for publication: Formal modelling and verification of probabilistic resource bounded agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190087)
