Giovanni Bacci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
14
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | Distributed Multi-UAV Partition-Based Patrolling with Fault Tolerance: A Study on Meeting-Based Coordination Strategies. | Puvikaran Santhirasegaram, Henrik Van Peet, Mads Beyer Mogensen, Giovanni Bacci, Timothy Robert Merritt, Michele Albano |
| 2025 | ICAART | Coordinated Online Exploration Algorithms: Human-Inspired Heuristics and Graph-Based Strategies. | Michele Albano, Giovanni Bacci, Dimitar Valentinov Angelov, Rasmus Borrisholt Schmidt, Andreas Sebastian Srensen, Thor Beregaard |
| 2021 | ICMLA | Active Learning of Markov Decision Processes using Baum-Welch algorithm. | Giovanni Bacci, Anna Inglfsdttir, Kim G. Larsen, Raphal Reynouard |
| 2021 | LICS | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2020 | ISoLA | Approximating Euclidean by Imprecise Markov Decision Processes. | Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjl Jensen |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2019 | FM | L | Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen |
| 2018 | FM | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2017 | ICALP | On the Metric-Based Approximate Minimization of Markov Chains. | Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | CONCUR | Complete Axiomatization for the Bisimilarity Distance on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2015 | FOSSACS | On the Total Variation Distance of Semi-Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | ICTAC | Converging from Branching to Linear Metrics on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | MFCS | Computing Behavioral Distances, Compositionally. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | TACAS | On-the-Fly Exact Computation of Bisimilarity Distances. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2012 | ICLP | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. | Giovanni Bacci, Marco Comini, Marco A. Feli, Alicia Villanueva |
| 2012 | PPDP | Automatic synthesis of specifications for first order curry programs. | Giovanni Bacci, Marco Comini, Marco Antonio Feli, Alicia Villanueva |
| 2010 | LOPSTR | Abstract Diagnosis of First Order Functional Logic Programs. | Giovanni Bacci, Marco Comini |