Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk).
Moshe Y. VardiPublished in: TIME (2022)
Keyphrases
- finite horizon
- invited talk
- linear temporal logic
- infinite horizon
- temporal logic
- optimal stopping
- optimal policy
- markov decision processes
- model checking
- inventory control
- multistage
- knowledge discovery and data mining
- selected papers
- single product
- markov decision process
- yield management
- average cost
- non stationary
- expected reward
- lead time
- decision problems
- lot size
- recent advances
- dynamic programming
- np hard
- databases