Abstract model repair for probabilistic systems.

George Chatzieleftheriou Panagiotis Katsaros

Published in: Inf. Comput. (2018)

Keyphrases

probabilistic model
management system
high level
prior knowledge
statistical model
formal model
similarity measure
generative model
computational model
mathematical model
maximum entropy
simulation model
video sequences
evolutionary algorithm
cost function
mathematical models