Human-robot cross-training: computational formulation, modeling and evaluation of a human team training strategy | Synapse