Control Barrier Functions for Signal Temporal Logic Tasks.

Lars Lindemann Dimos V. Dimarogonas

Published in: IEEE Control. Syst. Lett. (2019)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
control signals
computation tree logic
transition systems
mazurkiewicz traces
belief revision
symbolic model checking
orders of magnitude
temporal knowledge
automata theoretic