@misc{indiciaee5d8c2524a63,
  title = {Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture},
  author = {Joonwon Choi and Kartik Anand Pant and Youngim Nam and Henry Hellmann and Karthik Nune and Inseok Hwang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.23313},
  note = {Source identifier: 2602.23313}
}