Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation.
Junya IkemotoToshimitsu UshioPublished in: CoRR (2022)
Keyphrases
- temporal logic
- lagrangian relaxation
- reinforcement learning
- model checking
- lower and upper bounds
- mixed integer program
- capacity constraints
- dynamic programming
- automata theoretic
- dynamic constraints
- modal logic
- integer programming
- linear programming
- feasible solution
- column generation
- np hard
- verification method
- dual variables
- linear temporal logic
- branch and bound algorithm
- valid inequalities
- dual decomposition
- relaxation algorithm
- lower bound
- state space
- lagrangian heuristic
- machine learning
- temporal knowledge
- shortest path
- mazurkiewicz traces
- lagrangian dual
- tabu search
- upper bound
- linear program
- markov decision processes
- computation tree logic
- learning algorithm
- integer program
- mixed integer
- constrained optimization
- belief revision
- constraint satisfaction
- temporally extended
- computational complexity
- search algorithm