8 citations · 9 across the 2 of their papers we have counts for
1 paper · 1 filter
Rüdiger Ehlers, Bernd Finkbeiner
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model ch…