Reachability analysis for continuous systems under shared control: Application to user-interface design | IEEE Conference Publication | IEEE Xplore