Login / Signup
Temporal logic motion control using actor-critic methods.
Xu Chu Ding
Jing Wang
Morteza Lahijanian
Ioannis Ch. Paschalidis
Calin Belta
Published in:
ICRA (2012)
Keyphrases
</>
temporal logic
motion control
model checking
mobile robot
reinforcement learning