Formal Modeling of Dynamic Environments for Real-Time Agents | Publicación