5 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Chelsea Sidrane, Jana Tumova
Reachable set computation is an important tool for analyzing control systems. Simulating a control system can show general trends, but a formal tool like reachability analysis can…