Login / Signup
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration.
Prithvi Akella
Apurva Badithela
Richard M. Murray
Aaron D. Ames
Published in:
CoRR (2023)
Keyphrases
</>
temporal logic
model checking
modal logic
lipschitz continuity
control system
verification method
computation tree logic
set valued
linear temporal logic
belief revision
transition systems
bounded model checking
mazurkiewicz traces
decision rules
temporally extended
automata theoretic