• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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