scientific article
From MaRDI portal
Publication:3384176
zbMath1483.68188arXiv1709.02106MaRDI QIDQ3384176
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02106
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Decision algorithms for multiplayer noncooperative games of incomplete information
- Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
- Strong planning under partial observability
- Synthesis and Verification of Uniform Strategies for Multi-agent Systems
- Alternating-time temporal logic
- Finding Uniform Strategies for Multi-agent Systems
- A Communication Based Model for Games of Imperfect Information
- Graph-Based Algorithms for Boolean Function Manipulation
- Theoretical Computer Science
- Algorithms for Omega-Regular Games with Imperfect Information
This page was built for publication:
