Abstract: Self-adaptive systems are designed to adjust their behavior in response to changes in their operating environment. To realize such systems, it is important to verify at run-time whether the ...