Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness.

Abraham P. Vinod Meeko M. K. Oishi

Published in: HSCC (2018)

Keyphrases

model checking
databases
management system
software engineering
formal methods
learning systems
web scale
data mining
machine learning
information systems
knowledge base
multimedia
complex systems