Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL. - Kwesi Rutledge; Yuhang Mei; Necmiye Ozay (ACC, 2023)