Giorgio Bacci

Identifiers

• name variant Giorgio Bacci 0.60 · backfill

Papers (5)

1. Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability cs.LO · 2025 · author #1
2. On the Metric-based Approximate Minimization of Markov Chains cs.FL · 2018 · author #2
3. Timed Comparisons of Semi-Markov Processes cs.FL · 2017 · author #3
4. On-the-Fly Computation of Bisimilarity Distances cs.LO · 2017 · author #1
5. Topologies of Stochastic Markov Models: Computational Aspects cs.FL · 2014 · author #1

Mentions

• 2501.18275 #1 · arxiv_oai · confidence 0.70 Giorgio Bacci

Frequent Coauthors

• Radu Mardare 4 shared papers
• Giovanni Bacci 3 shared papers
• Kim G. Larsen 3 shared papers
• Kim Guldstrand Larsen 1 shared papers
• Mathias Ruggaard Pedersen 1 shared papers
• Nathana\"el Fijalkow 1 shared papers
• Rasmus Ejlers M{\o}gelberg 1 shared papers