TY  - RPRT
TI  - Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
AU  - Nicole Schirrmacher
AU  - Sebastian Siebertz
AU  - Giannos Stamoulis
AU  - Dimitrios M. Thilikos
AU  - Alexandre Vigny
PY  - 2026
UR  - https://arxiv.org/abs/2302.07033
ID  - 2302.07033
ER  -