Verification and Realizability in Finite-Horizon Multiagent Systems.
Senthil RajasekaranMoshe Y. VardiPublished in: KR (2022)
Keyphrases
- multiagent systems
- finite horizon
- infinite horizon
- optimal policy
- optimal stopping
- markov decision processes
- multi agent
- inventory control
- single product
- autonomous agents
- multiagent planning
- markov decision process
- multistage
- coalition formation
- yield management
- non stationary
- state space
- average cost
- multiagent reinforcement learning
- inventory policy
- adjustable autonomy
- multi agent systems
- model checking
- long run
- decentralized control
- robotic soccer
- decision problems
- dynamic programming
- optimal solution