Tableau-based bisimulation invariance testing.

Published in: Reports Math. Log. (2013)

Keyphrases

description logics
neural network
test cases
data sets
social networks
decision making
test data
machine learning
learning algorithm
training data