C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.
Giuseppe Squillace
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
QEST (2022)
Keyphrases
</>
differential equations
dynamic programming
learning algorithm
computer vision
objective function
k means
neural network
optimal solution
search space
image analysis
higher order
linear programming
dynamical systems
convergence rate