activity
20162026
most citedVerifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions

14 citations · 31 across the 17 of their papers we have counts for

collaborators
Showing 2022 · math.NAShow all

1 paper · 2 filters

math.NA2022★ 2 cited

Formalization of Asymptotic Convergence for Stationary Iterative Methods

Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin

Solutions to differential equations, which are used to model physical systems, are computed numerically by solving a set of discretized equations. This set of discretized equations…