C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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