research
∙
05/04/2023
A Monoidal View on Fixpoint Checks
Fixpoints are ubiquitous in computer science as they play a central role...
share
research
∙
07/20/2022
A Lattice-Theoretical View of Strategy Iteration
Strategy iteration is a technique frequently used for two-player games i...
research
∙
01/20/2021
Fixpoint Theory – Upside Down
Knaster-Tarski's theorem, characterising the greatest fixpoint of a mono...
research
∙
03/19/2020
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Systems of fixpoint equations over complete lattices, consisting of (mix...
research
∙
10/26/2018