A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems | IEEE Conference Publication | IEEE Xplore