Formal modeling of dynamic environments for real-time agents