Afﬁliation
Learning from Demonstrations;Specification Mining;Markov Decision Process;Inverse Reinforcement Learning;Formal Methods;Symbolic Learning
Surprise-Guided Search for Learning Task Specifications From Demonstrations