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 |
Be the first to leave a comment!