Abstract Diagnosis of First Order Functional Logic Programs. - Giovanni Bacci 001; Marco Comini (LOPSTR, 2010)

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. - Giovanni Bacci 001; Marco Comini; Marco A. Feliú; Alicia Villanueva (ICLP (Technical Communications), 2012)

Automatic synthesis of specifications for first order curry programs. - Giovanni Bacci 001; Marco Comini; Marco Antonio Feliú; Alicia Villanueva (PPDP, 2012)

An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages. - Giovanni Bacci 001 (2012)

Computing Behavioral Distances, Compositionally. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFCS, 2013)

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (QEST, 2013)

On-the-Fly Exact Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (TACAS, 2013)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (Horizons of the Mind, 2014)

Topologies of Stochastic Markov Models: Computational Aspects. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CoRR, 2014)

On the Total Variation Distance of Semi-Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (FoSSaCS, 2015)

Converging from Branching to Linear Metrics on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (ICTAC, 2015)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CONCUR, 2016)

On the Metric-Based Approximate Minimization of Markov Chains. - Giovanni Bacci 001; Giorgio Bacci; Kim G. Larsen; Radu Mardare (ICALP, 2017)

On-the-Fly Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2017)

Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. - Giovanni Bacci 001; Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Pierre-Alain Reynier (FM, 2018)

On the Verification of Weighted Kripke Structures Under Uncertainty. - Giovanni Bacci 001; Mikkel Hansen; Kim Guldstrand Larsen (QEST, 2018)

Complete Axiomatization for the Total Variation Distance of Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFPS, 2018)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2018)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare; Qiyi Tang 001; Franck van Breugel (CONCUR, 2019)

L*-Based Learning of Markov Decision Processes. - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (FM, 2019)

Model Checking Constrained Markov Reward Models with Uncertainties. - Giovanni Bacci 001; Mikkel Hansen; Kim Guldstrand Larsen (QEST, 2019)

L*-Based Learning of Markov Decision Processes (Extended Version). - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (CoRR, 2019)

Approximating Euclidean by Imprecise Markov Decision Processes. - Manfred Jaeger; Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Peter Gjøl Jensen (ISoLA (1), 2020)

Quantitative Analysis of Interval Markov Chains. - Giovanni Bacci 001; Benoît Delahaye; Kim G. Larsen; Anders Mariegaard (Model Checking, Synthesis, and Learning, 2021)

Active Learning of Markov Decision Processes using Baum-Welch algorithm. - Giovanni Bacci 001; Anna Ingólfsdóttir; Kim G. Larsen; Raphaël Reynouard (ICMLA, 2021)

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2021)

Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). - Giovanni Bacci 001; Anna Ingólfsdóttir; Kim G. Larsen; Raphaël Reynouard (CoRR, 2021)

L*-based learning of Markov decision processes (extended version). - Martin Tappler; Bernhard K. Aichernig; Giovanni Bacci 001; Maria Eichlseder; Kim G. Larsen (Formal Aspects Comput., 2021)

Convex Lattice Equation Systems. - Giorgio Bacci; Giovanni Bacci 001; Mathias Claus Jensen; Kim G. Larsen (Principles of Systems Design, 2022)

An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. - Giovanni Bacci 001; Anna Ingólfsdóttir; Kim G. Larsen; Raphaël Reynouard (QEST, 2023)

Jajapy: A Learning Library for Stochastic Models. - Raphaël Reynouard; Anna Ingólfsdóttir; Giovanni Bacci 001 (QEST, 2023)

MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. - Giovanni Bacci 001; Anna Ingólfsdóttir; Kim G. Larsen; Raphaël Reynouard (CoRR, 2023)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)