Sign in
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet.
Wenliang Liu
Wei Xiao
Calin 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