Interpretable Apprenticship Learning with Temporal Logic Specifications.

Daniel Kasenberg Matthias Scheutz

Published in: CoRR (2017)

Keyphrases

temporal logic
model checking
reinforcement learning
modal logic
reactive systems
transition systems
artificial intelligence
markov decision processes
concurrent systems