@misc{misc, title = {{Constructing Witnesses for Lower Bounds on Behavioural Distances}}, url = {{}}, year = {{2025}}, month = {{10}}, author = {{Turkenburg R and Beohar H and van Breugel F and Kupke C and Rot J}}, doi = {{10.48550/arxiv.2504.08639}}, note = {{Accessed on 2025/11/29}}}