Verification and Realizability in Finite-Horizon Multiagent Systems.
Senthil RajasekaranMoshe Y. VardiPublished in: CoRR (2022)
Keyphrases
- multiagent systems
- finite horizon
- optimal policy
- infinite horizon
- optimal stopping
- markov decision processes
- multi agent
- inventory control
- single product
- autonomous agents
- multistage
- coalition formation
- model checking
- average cost
- multi agent systems
- multiagent planning
- yield management
- markov decision process
- non stationary
- state space
- multiagent reinforcement learning
- dynamic programming
- decentralized control
- approximation algorithms
- complex systems
- lot size
- decision makers
- learning algorithm
- data mining