3 papers
cs.LO2026
Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support
Anne Schreuder, Lorenz Winkler, Laura Kovács +1
We study the synthesis of polynomial invariants for probabilistic transition systems (PTS) based on martingale theory. We present tractable methods to verify that such polynomials…
math.CV2026
On the geometry of locally growing Loewner chains
Eveliina Peltola, Anne Schreuder
Loewner chains are ubiquitous in the theory of slit mappings, and hence in the study of bounded conformal maps. They have attracted new interest in the past decades through their a…
math.PR2024
Loewner traces driven by Levy processes
Eveliina Peltola, Anne Schreuder
Loewner chains with Levy drivers have been proposed as models for random dendritic growth in two dimensions, and as candidates for finding extremal multifractal spectra in problems…