TY - RPRT TI - Handling Disjunctions in Signal Temporal Logic Based Control Through Nonsmooth Barrier Functions AU - Adrian Wiltz AU - Dimos V. Dimarogonas PY - 2022 UR - https://arxiv.org/abs/2208.10803 ID - 2208.10803 ER -