Conference
Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
| Title: | Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation |
|---|---|
| Authors: | Meng, Yiming, Liu, Jun |
| Source: | 2026 European Control Conference (ECC) European Control Conference (ECC), 2026. :1637-1644 Jul, 2026 |
| Relation: | 2026 European Control Conference (ECC) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9783907144138 9798331557553 |
|---|---|
| ISSN: | 29968895 29968917 |