Login / Signup
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints.
Luyao Niu
Andrew Clark
Published in:
CoRR (2020)
Keyphrases
</>
temporal logic
control system
model checking
modal logic
dynamic constraints