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
