TY - RPRT TI - Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications AU - Ali Tevfik Buyukkocak AU - Derya Aksaray AU - Yasin Yazıcıoğlu PY - 2022 UR - https://arxiv.org/abs/2204.03631 ID - 2204.03631 ER -