4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.RT2012
Hermitian Categories, extension of scalars and systems of hermitian forms
Eva Bayer-Fluckiger, Daniel Moldovan
In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with…
cs.LO2012★ 4 cited
Sparse Positional Strategies for Safety Games
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…