most citedAutomatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2025★ 1 cited

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling

Brendan Gould, Akash Harapanahalli, Samuel Coogan

Interval refinement is a technique for reducing the conservatism of traditional interval based reachability methods by lifting the system to a higher dimension using new auxiliary…

eess.SY2025

linrax: A JAX Compatible, Simplex Method Linear Program Solver

Brendan Gould, Akash Harapanahalli, Samuel Coogan

We present linrax, the first simplex based linear program (LP) solver compatible with the JAX ecosystem. In many control algorithms, LPs are often automatically generated and frequ…