Login / Signup

Parsimonious, Simulation Based Verification of Linear Systems.

Parasara Sridhar DuggiralaMahesh 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