
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
We reprove the countable splitting lemma by adapting Nawrotzki's algorit...
read it

Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported ...
read it

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization
This paper studies tracebased equivalences for automata combining nonde...
read it

ParameterIndependent Strategies for pMDPs via POMDPs
Markov Decision Processes (MDPs) are a popular class of models suitable ...
read it

Proper Semirings and Proper Convex Functors
Esik and Maletti introduced the notion of a proper semiring and proved t...
read it

Termination in Convex Sets of Distributions
Convex algebras, also called (semi)convex sets, are at the heart of mode...
read it
Ana Sokolova
is this you? claim profile