Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
| Title: | Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis |
|---|---|
| Authors: | Hadjiloizou, Loizos, Jiang, Frank J., Alanwar, Amr, Johansson, Karl H. |
| Source: | 2024 European Control Conference (ECC) Control Conference (ECC), 2024 European. :579-584 Jun, 2024 |
| Relation: | 2024 European Control Conference (ECC) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9783907144107 |
|---|---|
| DOI: | 10.23919/ECC64448.2024.10590925 |
| Published in: | 2024 European Control Conference (ECC), Control Conference (ECC), 2024 European |