Login / Signup

Temporal logic motion control using actor-critic methods.

Jing WangXu Chu DingMorteza LahijanianIoannis Ch. PaschalidisCalin Belta
Published in: Int. J. Robotics Res. (2015)
Keyphrases
  • temporal logic
  • optimization methods
  • machine learning
  • model checking
  • motion control
  • search algorithm