Login / Signup

Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains.

Aniruddh Gopinath PuranicJyotirmoy V. DeshmukhStefanos Nikolaidis
Published in: IEEE Robotics Autom. Lett. (2021)
Keyphrases
  • temporal logic
  • continuous domains
  • model checking
  • learning algorithm
  • reinforcement learning
  • active learning
  • unsupervised learning
  • modal logic
  • higher dimensional
  • transition systems