@misc{indiciae4de1092124c9,
  title = {Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification},
  author = {Mohamad H. Kazma and Hongchao Zhang and Abdallah A. Albustami and Ben Wooding and Meiyi Ma and Taylor T. Johnson and Ahmad F. Taha},
  year = {2026},
  url = {https://arxiv.org/abs/2610.09634},
  note = {Source identifier: 2610.09634}
}