Login / Signup
Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains.
Jasmine Jerry Aloor
Jay Patrikar
Parv Kapoor
Jean Oh
Sebastian Scherer
Published in:
CoRR (2022)
Keyphrases
</>
temporal logic
tree search
stochastic domains
imitation learning
model checking
state space
search algorithm
branch and bound
search tree
reinforcement learning
belief revision
path finding
planning problems
markov decision problems
machine learning
markov decision processes