Cross-entropy temporal logic motion planning.
Scott C. LivingstonEric M. WolffRichard M. MurrayPublished in: HSCC (2015)
Keyphrases
- cross entropy
- temporal logic
- motion planning
- model checking
- degrees of freedom
- mobile robot
- log likelihood
- path planning
- maximum likelihood
- humanoid robot
- multi robot
- language modeling
- linear temporal logic
- verification method
- belief space
- error function
- evaluation metrics
- ranking functions
- belief revision
- language model
- control system