2 citations · 2 across the 2 of their papers we have counts for
3 papers
A Monoidal View on Fixpoint Checks
Paolo Baldan, Richard Eggert, Barbara König +2
Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination…
A Lattice-Theoretical View of Strategy Iteration
Paolo Baldan, Richard Eggert, Barbara König +1
Strategy iteration is a technique frequently used for two-player games in order to determine the winner or compute payoffs, but to the best of our knowledge no general framework fo…
Fixpoint Theory -- Upside Down
Paolo Baldan, Richard Eggert, Barbara König +1
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduc…