Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
Antonio FilieriGiordano TamburrelliCarlo GhezziPublished in: IEEE Trans. Software Eng. (2016)
Keyphrases
- sensitivity analysis
- managerial insights
- influence diagrams
- model checking
- qualitative and quantitative
- real time
- variational inequalities
- formal verification
- neural network
- quantitative and qualitative
- multi agent
- linear programming
- decision support
- classifier systems
- decision variables
- autonomic computing systems