TY  - RPRT
TI  - Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
AU  - Vaishnavi Jagabathula
AU  - Pushpak Jagtap
PY  - 2026
UR  - https://arxiv.org/abs/2512.13344
ID  - 2512.13344
ER  -