Search

• < Previous
• 1
• Next >

---

Approximate reasoning for real-time probabilistic processes

Vineet Gupta ; Radha Jagadeesan ; Prakash Panangaden.

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential&nbsp;[&hellip;]

---

Free complete Wasserstein algebras

Radu Mardare ; Prakash Panangaden ; Gordon D. Plotkin.

We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages. In particular, we give axioms, parametric in $p$, for algebras over metric spaces equipped&nbsp;[&hellip;]

---

A categorical characterization of relative entropy on standard Borel spaces

Nicolas Gagne ; Prakash Panangaden.

We give a categorical treatment, in the spirit of Baez and Fritz, of relative entropy for probability distributions defined on standard Borel spaces. We define a category suitable for reasoning about statistical inference on standard Borel spaces. We define relative entropy as a functor into&nbsp;[&hellip;]

---