Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, providing assurances of critical requirements through formal verification techniques can be computationally ...