88 citations · 179 across the 15 of their papers we have counts for
17 papers
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
Ana Sokolova
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming langua…
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
Ana Sokolova, Harald Woracek
We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with…
Presenting convex sets of probability distributions by convex semilattices and unique bases
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of pr…
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by ins…
Parameter-Independent Strategies for pMDPs via POMDPs
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee +2
Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs)…
Proper Semirings and Proper Convex Functors
Ana Sokolova, Harald Woracek
Esik and Maletti introduced the notion of a proper semiring and proved that some important (classes of) semirings -- Noetherian semirings, natural numbers -- are proper. Properness…