2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Syed M. Hassaan, Mohammad Khajenejad, Spencer Jensen +2
In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resul…