TY  - RPRT
TI  - Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
AU  - Loizos Hadjiloizou
AU  - Frank J. Jiang
AU  - Amr Alanwar
AU  - Karl H. Johansson
PY  - 2024
UR  - https://arxiv.org/abs/2404.03308
ID  - 2404.03308
ER  -