Login / Signup
Parsimonious, Simulation Based Verification of Linear Systems.
Parasara Sridhar Duggirala
Mahesh Viswanathan
Published in:
CAV (1) (2016)
Keyphrases
</>
linear systems
sufficient conditions
dynamical systems
linear equations
sparse linear systems
coefficient matrix
model checking
neural network
search algorithm
fuzzy logic