Simulation-Equivalent Reachability of Large Linear Systems with Inputs.

Stanley Bak, Parasara Sridhar Duggirala

Browse the full CAV paper archive.