@misc{indiciae77f00e029b54, title = {Backward Responsibility in Transition Systems Beyond Safety}, author = {Christel Baier and Rio Klatt and Sascha Klüppelholz and Max Korn and Johannes Lehmann}, year = {2026}, url = {https://arxiv.org/abs/2506.05192}, note = {Source identifier: 2506.05192} }