Assuring system goals under uncertainty with active formal models of self-adaptation.

M. Usman Iftikhar Danny Weyns

Published in: ICSE Companion (2014)

Keyphrases

formal models
rule based systems
process model
formal model
classifier systems
real time
uncertain data
belief functions
case study
evolutionary programming
rule base
conditional probabilities
incomplete information
error rate
possibility theory
robust optimization
genetic algorithm
neural network