TY - RPRT TI - Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration AU - Prithvi Akella AU - Apurva Badithela AU - Richard M. Murray AU - Aaron D. Ames PY - 2023 UR - https://arxiv.org/abs/2304.03849 ID - 2304.03849 ER -