The Role of Operationally Distinct Options in Supporting Joint Human-Automation Planning. (September 2016)