FOSSIL (Q6120668)
From MaRDI portal
scientific article; zbMATH DE number 7807697
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FOSSIL |
scientific article; zbMATH DE number 7807697 |
Statements
FOSSIL (English)
0 references
21 February 2024
0 references
CEGIS
0 references
SAT Modulo theory
0 references
barrier certificates
0 references
Lyapunov functions
0 references
neural networks
0 references
0 references
0 references
0 references
