Giovanni Bacci

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 32

Top Topics

Markov Decision Process

Active Learning

Top Venues

Log. Methods Comput. Sci.

Publications

Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR (2023)
Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci
Jajapy: A Learning Library for Stochastic Models. QEST (2023)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST (2023)
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
Convex Lattice Equation Systems. Principles of Systems Design (2022)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS (2021)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR (2021)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33 (1) (2021)
Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17 (1) (2021)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR (2021)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33 (4-5) (2021)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) (2020)
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR (2020)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29 (1) (2019)
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Model Checking Constrained Markov Reward Models with Uncertainties. QEST (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-Based Learning of Markov Decision Processes. FM (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR (2019)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100 (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-based Approximate Minimization of Markov Chains. CoRR (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. 14 (4) (2018)
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
On the Verification of Weighted Kripke Structures Under Uncertainty. QEST (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. CoRR (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13 (2) (2017)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-Based Approximate Minimization of Markov Chains. ICALP (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR (2016)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from Branching to Linear Metrics on Markov Chains. ICTAC (2015)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS (2015)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Topologies of Stochastic Markov Models: Computational Aspects. CoRR (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Computing Behavioral Distances, Compositionally. MFCS (2013)
Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) (2012)
Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
Automatic synthesis of specifications for first order curry programs. PPDP (2012)
Giovanni Bacci, Marco Comini
Abstract Diagnosis of First Order Functional Logic Programs. LOPSTR (2010)