TY  - RPRT
TI  - Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
AU  - Mahdieh Zaker
AU  - Omid Akbarzadeh
AU  - Behrad Samari
AU  - Abolfazl Lavaei
PY  - 2026
UR  - https://arxiv.org/abs/2409.10018
ID  - 2409.10018
ER  -