VERIFAS: A Practical Verifier for Artifact Systems.

Yuliang Li Alin Deutsch Victor Vianu

Published in: Proc. VLDB Endow. (2017)

Keyphrases

distributed systems
complex systems
building blocks
image processing
practical application
computer systems
management system
systems require
neural network
computing systems
intelligent systems
special case
multi agent systems
search algorithm
optimal solution
decision trees
information systems
machine learning