Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

Suguman Bansal Yong Li Lucas M. Tabajara Moshe Y. Vardi

Published in: CoRR (2019)

Keyphrases

finite horizon
optimal policy
infinite horizon
optimal stopping
markov decision processes
inventory models
inventory control
single product
reactive systems
yield management
multistage
markov decision process
single item
lot size
supply chain