TY  - RPRT
TI  - Constructing Witnesses for Lower Bounds on Behavioural Distances
AU  - Ruben Turkenburg
AU  - Harsh Beohar
AU  - Franck van Breugel
AU  - Clemens Kupke
AU  - Jurriaan Rot
PY  - 2025
UR  - https://arxiv.org/abs/2504.08639
ID  - 2504.08639
ER  -