Learning Interpretable Models Expressed in Linear Temporal Logic.

Alberto Camacho Sheila A. McIlraith

Published in: ICAPS (2019)

Keyphrases

prior knowledge
learning process
accurate models
learning algorithm
reinforcement learning
learning models
probabilistic model
np hard
state space
programming language
distributed systems
temporal logic
linear temporal logic