Checking several requirements at once by CEGAR.

Vitaly O. Mordan Vadim S. Mutilin

Published in: Program. Comput. Softw. (2016)

Keyphrases

user requirements
neural network
e learning
multiscale
multiresolution
computer vision
website
image segmentation
multi agent systems
trade off
integrity constraints
design principles
application specific