Login / Signup

Learning-Based Temporal Logic Control for Continuous POMDPs.

Keyi ZhangZhen Kan
Published in: RICAI (2023)
Keyphrases
  • temporal logic
  • reinforcement learning
  • learning algorithm
  • model checking
  • modal logic
  • satisfiability problem
  • temporal knowledge
  • state space
  • finite state