Improving validated computation of Viability Kernels (Q4561456)
From MaRDI portal
scientific article; zbMATH DE number 6989699
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Improving validated computation of Viability Kernels |
scientific article; zbMATH DE number 6989699 |
Statements
Improving validated computation of Viability Kernels (English)
0 references
6 December 2018
0 references
interval analysis
0 references
Lyapunov-like functions
0 references
validated numerical integration
0 references
viability kernel
0 references
