TY  - RPRT
TI  - Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
AU  - Felipe Galarza-Jimenez
AU  - Majid Zamani
AU  - Saber Jafarpour
PY  - 2026
UR  - https://arxiv.org/abs/2605.16660
ID  - 2605.16660
ER  -