Specification-centered robustness.

Roderick Bloem Krishnendu Chatterjee Karin Greimel Thomas A. Henzinger Barbara Jobstmann

Published in: SIES (2011)

Keyphrases

high level
neural network
information systems
image processing
decision trees
multiscale
specification language
wide range
natural language
multiresolution
probability distribution
formal specification
reactive systems