Giovanni Bacci

Identifiers

No identifiers captured yet.

Papers (5)

1. L*-Based Learning of Markov Decision Processes (Extended Version) cs.LG · 2019 · author #3
2. On the Metric-based Approximate Minimization of Markov Chains cs.FL · 2018 · author #1
3. Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty cs.FL · 2018 · author #1
4. On-the-Fly Computation of Bisimilarity Distances cs.LO · 2017 · author #2
5. Topologies of Stochastic Markov Models: Computational Aspects cs.FL · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Kim G. Larsen 5 shared papers
• Giorgio Bacci 3 shared papers
• Radu Mardare 3 shared papers
• Bernhard K. Aichernig 1 shared papers
• Maria Eichlseder 1 shared papers
• Martin Tappler 1 shared papers
• Nicolas Markey 1 shared papers
• Patricia Bouyer 1 shared papers
• Pierre-Alain Reynier 1 shared papers
• Uli Fahrenberg 1 shared papers