Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints.

Luyao Niu Andrew Clark

Published in: CDC (2020)

Keyphrases

situation calculus
modal logic
temporal logic
model checking
control system
satisfiability problem
knowledge base
reinforcement learning