Dealing with uncertainty in verification of nondeterministic systems.

Yamilet R. Serrano Llerena

Published in: SIGSOFT FSE (2014)

Keyphrases

complex systems
formal methods
data sets
learning algorithm
databases
distributed systems
learning systems