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;]

---

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;]

---