C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Temporal logic motion control using actor-critic methods.
Jing Wang
Xu Chu Ding
Morteza Lahijanian
Ioannis Ch. Paschalidis
Calin Belta
Published in:
Int. J. Robotics Res. (2015)
Keyphrases
</>
temporal logic
optimization methods
machine learning
model checking
motion control
search algorithm