Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator.
Shumpei TokudaMasaki YamakitaHiroyuki OyamaRin TakanoPublished in: IECON (2022)
Keyphrases
- mixed integer linear
- mathematical programming
- constraint reasoning
- spatio temporal
- knowledge representation
- heuristic search
- spatial and temporal
- temporal data
- temporal constraints
- planning problems
- linear systems
- temporal information
- temporal databases
- temporal dimension
- motion planning
- temporal planning
- stochastic domains
- temporal analysis
- planning process
- ai planning
- search algorithm
- decision support
- query processing
- lower bound