Conference
Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation
| Τίτλος: | Towards Learning and Verifying Maximal Lyapunov-Barrier Functions with a Zubov PDE Formulation |
|---|---|
| Συγγραφείς: | Meng, Yiming, Liu, Jun |
| Πηγή: | 2026 European Control Conference (ECC) European Control Conference (ECC), 2026. :1637-1644 Jul, 2026 |
| Relation: | 2026 European Control Conference (ECC) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!