Synthesis of Shared Autonomy Policies With Temporal Logic Specifications | IEEE Journals & Magazine | IEEE Xplore