Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:K.G.Larsen G.Bacci R.Mardare Mathias Ruggaard Pedersen K.G.Larsen
Talks about:distanc (2) markov (2) semi (2) bisimilar (1) process (1) variat (1) faster (1) comput (1) total (1) relat (1)
Person: Giorgio Bacci
DBLP: Bacci:Giorgio
Contributed to:
2015
2013
2019Wrote 3 papers:
- FoSSaCS-2015-BacciBLM #distance #markov #on the
- On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
- TACAS-2013-BacciBLM #on the fly #similarity
- On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
- QAPL-2019-PedersenBL #markov #process
- A Faster-Than Relation for Semi-Markov Decision Processes (MRP, GB, KGL), pp. 29–42.