Login / Signup

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

Wenliang LiuWei XiaoCalin Belta
Published in: CDC (2023)
Keyphrases
  • temporal logic
  • reinforcement learning
  • learning algorithm
  • model checking
  • concurrent systems
  • temporal constraints
  • model checker
  • transition systems
  • linear temporal logic