TY  - RPRT
TI  - FO and MSO Model Checking on Temporal Graphs
AU  - Michelle Döring
AU  - Jessica Enright
AU  - Laura Larios-Jones
AU  - George Skretas
PY  - 2026
UR  - https://arxiv.org/abs/2602.14592
ID  - 2602.14592
ER  -