Reachability analysis for continuous systems under shared control: Application to user-interface design. - Matni, Nikolai; Oishi, Meeko (2009)