Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions.

Anne-Kathrin Schmuck Paulo Tabuada Jörg Raisch

Published in: CoRR (2015)

Keyphrases

neural network
closed form
case study
high level
probabilistic model
rough set theory
machine intelligence
approximation methods
error metrics