research
∙
12/27/2021
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
MFPS conferences are dedicated to the areas of mathematics, logic, and c...
share
research
∙
06/11/2021
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
We reprove the countable splitting lemma by adapting Nawrotzki's algorit...
research
∙
05/04/2020
Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported ...
research
∙
08/02/2018
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization
This paper studies trace-based equivalences for automata combining nonde...
research
∙
06/13/2018
Parameter-Independent Strategies for pMDPs via POMDPs
Markov Decision Processes (MDPs) are a popular class of models suitable ...
research
∙
02/21/2018
Proper Semirings and Proper Convex Functors
Esik and Maletti introduced the notion of a proper semiring and proved t...
research
∙
10/28/2017
