Closed benediktknopp closed 2 years ago
Added all measures (unliveness, dead-transition, unfairness) and also culpability measurement
Added all measures (unliveness, dead-transition, unfairness) and also culpability measurement