Learning from Demonstrations using Signal Temporal Logic.

Aniruddh Gopinath Puranic Jyotirmoy Deshmukh Stefanos Nikolaidis

Published in: CoRL (2020)

Keyphrases

temporal logic
learning algorithm
reinforcement learning
modal logic
satisfiability problem
artificial intelligence
multi agent systems