4 citations · 9 across the 9 of their papers we have counts for
10 papers
Congruences for Stochastic Automata
Ernst-Erich Doberkat
Congruences for stochastic automata are defined, the correspondin factor automata are constructed and investigated for automata ove analytic spaces. We study the behavior under fin…
Using Coalgebras and the Giry Monad for Interpreting Game Logics --- A Tutorial
Ernst-Erich Doberkat
The stochastic interpretation of Parikh's game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rath…
Topologies and all that -- A Tutorial
E. -E. Doberkat
This is a brief introduction to the basic concepts of topology. It includes the basic constructions, discusses separation properties, metric and pseudometric spaces, and gives some…
Measures and all that --- A Tutorial
Ernst-Erich Doberkat
This tutorial gives an overview of some of the basic techniques of measure theory. It includes a study of Borel sets and their generators for Polish and for analytic spaces, the we…
Sets, the Axiom of Choice, And All That: A Tutorial
Ernst-Erich Doberkat
This tutorial deal with the Axiom of Choice and some of its applications to topics related to Computer Science. We will see that the Axiom of Choice is equivalent to some well-know…
Stochastic Nondeterminism and Effectivity Functions
Ernst-Erich Doberkat, Pedro Sánchez Terraf
This paper investigates stochastic nondeterminism on continuous state spaces by relating nondeterministic kernels and stochastic effectivity functions to each other. Nondeterminist…
Stochastic Interpretation of Game Logic
Ernst-Erich Doberkat
Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic…
Algebraic Properties of Stochastic Effectivity Functions
Ernst-Erich Doberkat
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the rel…
Categories and all that -- A Tutorial
Ernst-Erich Doberkat
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisl…
Towards a Coalgebraic Interpretation of Propositional Dynamic Logic
Ernst-Erich Doberkat
The interpretation of propositional dynamic logic (PDL) through Kripke models requires the relations constituting the interpreting Kripke model to closely observe the syntax of the…