Login / Signup
Temporal logic robot control based on automata learning of environmental dynamics.
Yushan Chen
Jana Tumova
Alphan Ulusoy
Calin Belta
Published in:
Int. J. Robotics Res. (2013)
Keyphrases
</>
robot control
temporal logic
model checking
reinforcement learning
autonomous robots
modal logic
satisfiability problem
learning algorithm
mobile robot
dynamical systems
incremental learning
real time
dynamic model
qualitative reasoning
motor control