Learning from Demonstrations using Signal Temporal Logic.

Aniruddh Gopinath Puranic Jyotirmoy V. Deshmukh Stefanos Nikolaidis

Published in: CoRR (2021)

Keyphrases

temporal logic
model checking
learning algorithm
satisfiability problem
reinforcement learning
background knowledge
artificial intelligence
modal logic