EasyChair Smart SlideDocs/Log in
Title:Coalgebra meets Convexity in Probabilistic Systems
Authors:Ana Sokolova
Conference:COALG AT FLOC 2018
Tags:behavioural semantics, coalgebra, convex algebra and probabilistic transition systems
Abstract:

In this talk I present an overview of recent developments in the area of semantics of probabilistic systems particularly related to convexity results.

 
Coalgebra meets Convexity in Probabilistic Systems
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
1of33
1
2
3
4
Copyright © 2002 – 2024 EasyChair