Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
Suguman BansalYong LiLucas M. TabajaraMoshe Y. VardiPublished in: AAAI (2020)
Keyphrases
- finite horizon
- infinite horizon
- optimal policy
- optimal stopping
- markov decision processes
- reactive systems
- inventory models
- single product
- multistage
- inventory control
- yield management
- single item
- long run
- markov decision process
- average cost
- reinforcement learning
- lot size
- data mining
- probabilistic model
- dynamic programming
- search algorithm
- ordering cost