48 citations · 172 across the 22 of their papers we have counts for
1 paper · 2 filters
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…