Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.

Keliang He Andrew M. Wells Lydia E. Kavraki Moshe Y. Vardi

Published in: ICRA (2019)

Keyphrases

finite horizon
infinite horizon
markov decision processes
inventory models
single product
optimal stopping
optimal policy
multistage
linear programming
yield management