MTL robust testing and verification for LPV systems.

Georgios E. Fainekos George J. Pappas

Published in: ACC (2009)

Keyphrases

computer systems
model checking
formal methods
neural network
fuzzy logic
distributed systems
intelligent systems
learning systems
test cases
learning tasks
formal verification
verification method