4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Rüdiger Ehlers, Daniela Moldovan
We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a s…