Toward a Theoretical Framework for Analysis and Synthesis of Agents that Learn from Distributed Dyna