The Weak Spectroscopy Game to Characterize Behavioral Equivalences. - Lisa A. Barthel; Leonard M. Hübner; Caroline Lemke; Karl P. P. Mattes; Lenard Mollenkopf; Benjamin Bisping (Arch. Formal Proofs, 2025)