8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.FL2011★ 8 cited
Reactive Safety
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…
cs.GT2011★ 1 cited
Proceedings International Workshop on Interactions, Games and Protocols
Johannes Reich, Bernd Finkbeiner
The focus of the iWIGP workshop is the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions…