Model Repair for Probabilistic Systems.

Ezio Bartocci Radu Grosu Panagiotis Katsaros C. R. Ramakrishnan Scott A. Smolka

Published in: TACAS (2011)

Keyphrases

probabilistic model
management system
data sets
theoretical analysis
genetic algorithm
computational models
formal model
learning algorithm
information systems
expert systems
theoretical framework
experimental data