TY - RPRT TI - On the Completeness and Ordering of Path-Complete Barrier Functions AU - Mahathi Anand AU - Raphaël Jungers AU - Majid Zamani AU - Frank Allgöwer PY - 2025 UR - https://arxiv.org/abs/2503.19561 ID - 2503.19561 ER -