TY  - RPRT
TI  - A Timed Obstruction Logic for Dynamic Game Models
AU  - David Cortes
AU  - Jean Leneutre
AU  - Vadim Malvone
AU  - James Ortiz
PY  - 2025
UR  - https://arxiv.org/abs/2510.06045
ID  - 2510.06045
ER  -