Login / Signup
Learning-Based Temporal Logic Control for Continuous POMDPs.
Keyi Zhang
Zhen Kan
Published in:
RICAI (2023)
Keyphrases
</>
temporal logic
reinforcement learning
learning algorithm
model checking
modal logic
satisfiability problem
temporal knowledge
state space
finite state