Exploiting Partial Knowledge for Efficient Model Analysis.

Nuno Macedo Alcino Cunha Eduardo Pessoa

Published in: ATVA (2017)

Keyphrases

partial knowledge
probabilistic model
statistical model
probability distribution
theoretical framework
mathematical model
experimental data
formal model
state variables
high level
prior knowledge
em algorithm
theoretical analysis
computational model