Poster Abstract: Learning from Demonstrations with Temporal Logics.

Aniruddh Gopinath Puranic Jyotirmoy Deshmukh Stefanos Nikolaidis

Published in: HSCC (2022)

Keyphrases

temporal logic
learning algorithm
search algorithm
learning process
satisfiability problem
transition systems
knowledge base
reinforcement learning
model checking