Login / Signup

Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet.

Wenliang LiuWei XiaoCalin Belta
Published in: CoRR (2023)
Keyphrases
  • temporal logic
  • learning algorithm
  • reinforcement learning
  • artificial intelligence
  • model checking
  • concurrent systems
  • control system
  • knowledge based systems
  • heuristic search
  • reactive systems
  • transition systems