TY - RPRT TI - Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints AU - Pio Ong AU - Haejoon Lee AU - Tamas G. Molnar AU - Dimitra Panagou AU - Aaron D. Ames PY - 2025 DO - 10.1109/lcsys.2025.3640191 UR - https://arxiv.org/abs/2509.10716 ID - 2509.10716 ER -