Convex Approximation for LTL-based Planning.
Shumpei TokudaMasaki YamakitaHiroyuki OyamaRin TakanoPublished in: IROS (2021)
Keyphrases
- model checking
- temporal logic
- classical planning
- convex functions
- convex sets
- deterministic automata
- heuristic search
- closed form
- continuous functions
- error bounds
- planning problems
- convex optimization
- globally optimal
- temporally extended goals
- goal oriented
- convex hull
- neural network
- piecewise linear
- motion planning
- approximation error
- blocks world
- stochastic domains
- linear temporal logic
- ai planning
- special case
- search space