@misc{indiciaeb35611cf2537,
  title = {A Timed Obstruction Logic for Dynamic Game Models},
  author = {David Cortes and Jean Leneutre and Vadim Malvone and James Ortiz},
  year = {2025},
  url = {https://arxiv.org/abs/2510.06045},
  note = {Source identifier: 2510.06045}
}