@misc{indiciaeeabc44a85aa7,
  title = {Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems},
  author = {Mahdieh Zaker and Omid Akbarzadeh and Behrad Samari and Abolfazl Lavaei},
  year = {2026},
  url = {https://arxiv.org/abs/2409.10018},
  note = {Source identifier: 2409.10018}
}