Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk).

Philippe Schnoebelen

Published in: MFCS (2017)

Keyphrases

invited talk
distributed systems
learning algorithm
computational complexity
databases
expert systems
data mining
artificial neural networks
significant improvement
computational cost
case based reasoning
real world
computer systems
structured data
formal methods
computer vision algorithms
database