@misc{indiciae448993e0ba7c,
  title = {Modeling, Translation, and Analysis of Different examples using Simulink, Stateflow, SpaceEx, and FlowStar},
  author = {Yogesh Gajula and Ravi Varma Lingala},
  year = {2025},
  url = {https://arxiv.org/abs/2504.04638},
  note = {Source identifier: 2504.04638}
}