Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements.
Zhe XuCalin BeltaAgung JuliusPublished in: ADHS (2015)
Keyphrases
- prior information
- temporal logic
- robot arm
- bayesian inference
- model checking
- modal logic
- motion planning
- prior knowledge
- natural actor critic
- inverse kinematics
- position and orientation
- mazurkiewicz traces
- belief revision
- transition systems
- linear temporal logic
- control strategies
- nonlinear systems
- skill learning
- input output
- probability distribution
- verification method
- computation tree logic
- path planning
- control law
- artificial intelligence
- reactive systems
- data sets
- real time