C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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