@misc{indiciaedb29e483d4e6,
  title = {Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis},
  author = {Loizos Hadjiloizou and Frank J. Jiang and Amr Alanwar and Karl H. Johansson},
  year = {2024},
  url = {https://arxiv.org/abs/2404.03308},
  note = {Source identifier: 2404.03308}
}