Backward Responsibility in Transition Systems Beyond Safety.

Christel Baier, Rio Klatt, Sascha Klppelholz, Johannes Lehmann

Browse the full FMICS paper archive.