A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent SystemsAbstractThe abstract for this paper is not yet available.