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

Glen Chou Necmiye Ozay Dmitry Berenson

Published in: CoRR (2020)

Keyphrases

multistage
temporal logic
model checking
machine learning
learning algorithm
stochastic programming
reinforcement learning
dynamic programming
domain specific
distributed systems
attack detection