Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach.