Linear Temporal Logic - From Infinite to Finite Horizon.
Lucas M. TabajaraMoshe Y. VardiPublished in: ATVA (2021)
Keyphrases
- finite horizon
- linear temporal logic
- infinite horizon
- temporal logic
- optimal policy
- optimal stopping
- model checking
- markov decision processes
- inventory models
- inventory control
- multistage
- bounded model checking
- single product
- average cost
- markov decision process
- dynamic programming
- yield management
- optimal control
- long run
- non stationary
- machine learning
- finite state
- markov chain
- learning algorithm
- initial state
- lot size
- inventory policy
- state space
- multi agent
- decision making