Parsimonious, Simulation Based Verification of Linear Systems.

Parasara Sridhar Duggirala, Mahesh Viswanathan

Browse the full CAV paper archive.