Taming Non-Determinism in Agent Systems