Inductive Invariant Checking with Partial Negative Application Conditions.

Johannes Dyck Holger Giese

Published in: ICGT (2015)

Keyphrases

information retrieval
similarity measure
objective function
knowledge representation
data sets
decision making
case study
image sequences
bayesian networks
multi agent systems
probabilistic model