Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications.
Takuma KinugawaToshimitsu UshioPublished in: IEICE Trans. Inf. Syst. (2022)
Keyphrases
- temporal logic
- finite horizon
- spatio temporal
- optimal stopping
- concurrent systems
- control policies
- infinite horizon
- model checking
- transition systems
- optimal control
- optimal policy
- reactive systems
- markov decision processes
- bounded model checking
- model checker
- single product
- average cost
- modal logic
- inventory models
- formal specification language
- formal specification
- verification method
- linear temporal logic
- inventory control
- belief revision
- lot size
- markov decision process
- dynamic programming
- control policy
- inventory policy
- dynamic constraints
- multistage
- control system
- computation tree logic
- mazurkiewicz traces
- single item
- optimal solution
- formal verification
- long run
- lead time
- linear program
- linear programming
- temporal knowledge
- non stationary
- expected reward
- state space
- video sequences
- reinforcement learning