Login / Signup

Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations.

Glen ChouNecmiye OzayDmitry Berenson
Published in: Robotics: Science and Systems (2020)
Keyphrases
  • multistage
  • temporal logic
  • learning algorithm
  • model checking
  • production system
  • reinforcement learning
  • concurrent systems
  • dynamic programming
  • stochastic optimization
  • predicate logic
  • linear temporal logic