Temporal Logic Motion Control using Actor-Critic Methods

Xu Chu Ding Jing Wang Morteza Lahijanian Ioannis Ch. Paschalidis Calin Belta

Published in: CoRR (2012)

Keyphrases

temporal logic
model checking
motion control
mobile robot
real time
neural network
image sequences
multi agent
video sequences
search algorithm
optimal control