Semi-autonomous systems are becoming increasingly ubiquitous, providing persistence, precision, survivability, flexibility, and safety for a number of diverse and demanding operations. The success of these systems has resulted in new concepts of operations that can be only accomplished by groups of unmanned vehicles and teams of operators coordinating with each other. Further, we are called upon to guarantee that human decision makers embedded in the midst of either fully or partially automated systems can execute missions with variability in the environment and their cognitive abilities. Thus, we need to design systems which blend human cognitive understanding and control capability with autonomy in such systems. This requires a well-studied interaction between the information and the human through user interfaces as well as synthesizing provably correct controllers for these semiautnomous systems.