Real-time multi-agent systems: rationality, formal model, and empirical results