Add to ORKGWe extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the way to developing theories of approximate reasoning for probabilistic systems
AbstractIn this paper, we define a probabilistic version of filtration and use it to provide a finit...
In this paper we introduce a new class of labeled transition systems - Labeled Markov Processes - an...
In this paper, we define a probabilistic version of filtration and use it to provide a finite approx...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
AbstractWe extend our previous duality theorem for Markov processes by equipping the processes with ...
We provide a systematic study of the notion of duality of Markov processes with respect to a functio...
Stone duality relates logic, in the form of Boolean algebra, to spaces. Stone-type dualities abound ...
The article is devoted to a study of the duality of processes in the sense that for a certain f. Th...
International audienceWe transfer a notion of quantitative bisimilarity for labelled Markov processe...
We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra cons...
A central questions in the field of probabilistic and Markovian systems is “when do two systems beha...
In this paper we introduce a new class of labelled tran-sition systems- Labelled Markov Processes- a...
We develop a theory of probabilistic continuous processes that is meant ultimately to be part of an ...
We recast the theory of labelled Markov processes in a new setting, in a way "dual" to the usual ...
AbstractIn this paper, we define a probabilistic version of filtration and use it to provide a finit...
In this paper we introduce a new class of labeled transition systems - Labeled Markov Processes - an...
In this paper, we define a probabilistic version of filtration and use it to provide a finite approx...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudo...
AbstractWe extend our previous duality theorem for Markov processes by equipping the processes with ...
We provide a systematic study of the notion of duality of Markov processes with respect to a functio...
Stone duality relates logic, in the form of Boolean algebra, to spaces. Stone-type dualities abound ...
The article is devoted to a study of the duality of processes in the sense that for a certain f. Th...
International audienceWe transfer a notion of quantitative bisimilarity for labelled Markov processe...
We define Aumann algebras, an algebraic analog of probabilistic modal logic. An Aumann algebra cons...
A central questions in the field of probabilistic and Markovian systems is “when do two systems beha...
In this paper we introduce a new class of labelled tran-sition systems- Labelled Markov Processes- a...
We develop a theory of probabilistic continuous processes that is meant ultimately to be part of an ...
We recast the theory of labelled Markov processes in a new setting, in a way "dual" to the usual ...
AbstractIn this paper, we define a probabilistic version of filtration and use it to provide a finit...
In this paper we introduce a new class of labeled transition systems - Labeled Markov Processes - an...
In this paper, we define a probabilistic version of filtration and use it to provide a finite approx...