Follow
Giovanni Bacci
Giovanni Bacci
Department of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
On-the-Fly exact computation of bisimilarity distances
G Bacci, G Bacci, KG Larsen, R Mardare
Tools and Algorithms for the Construction and Analysis of Systems, 1-15, 2013
732013
-based learning of Markov decision processes (extended version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing, 1-41, 2021
56*2021
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
Mathematical Foundations of Computer Science 2013: 38th International …, 2013
432013
Optimal and robust controller synthesis using energy timed automata with uncertainty
G Bacci, P Bouyer, U Fahrenberg, KG Larsen, N Markey, PA Reynier
Formal Aspects of Computing, 1-23, 2020
352020
Converging from branching to linear metrics on Markov chains
G Bacci, G Bacci, KG Larsen, R Mardare
Mathematical Structures in Computer Science 29 (1), 3-37, 2019
26*2019
On the Metric-based Approximate Minimization of Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
LIPIcs-Leibniz International Proceedings in Informatics 80, 2017
252017
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
F van Breugel, Q Tang, R Mardare, KG Larsen, G Bacci, G Bacci
Logical Methods in Computer Science 17, 2021
192021
Active Learning of Markov Decision Processes using Baum-Welch algorithm
G Bacci, A Ingólfsdóttir, KG Larsen, R Reynouard
2021 20th IEEE International Conference on Machine Learning and Applications …, 2021
18*2021
Approximating euclidean by imprecise Markov decision processes
M Jaeger, G Bacci, G Bacci, KG Larsen, PG Jensen
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
182020
A complete quantitative deduction system for the bisimilarity distance on Markov chains
G Bacci, G Bacci, KG Larsen, R Mardare
Logical Methods in Computer Science 14, 2018
172018
On the Total Variation Distance of Semi-Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
Foundations of Software Science and Computation Structures, 185-199, 2015
162015
Automatic synthesis of specifications for first order curry programs
G Bacci, M Comini, MA Feliú, A Villanueva
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
162012
Complete Axiomatization for the Total Variation Distance of Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
Electronic Notes in Theoretical Computer Science 336, 27-39, 2018
152018
Complete Axiomatization for the Bisimilarity Distance on Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
132016
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models
G Bacci, G Bacci, KG Larsen, R Mardare
Quantitative Evaluation of Systems, 278-281, 2013
132013
Abstract diagnosis of first order functional logic programs
G Bacci, M Comini
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
132010
On-the-Fly Computation of Bisimilarity Distances
R Mardare, KG Larsen, G Bacci, G Bacci
Logical Methods in Computer Science 13, 2017
10*2017
Efficient local computation of differential bisimulations via coupling and up-to methods
G Bacci, G Bacci, KG Larsen, M Tribastone, M Tschaikowski, A Vandin
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
92021
Model checking constrained Markov reward models with uncertainties
G Bacci, M Hansen, KG Larsen
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
82019
Quantitative analysis of interval Markov chains
G Bacci, B Delahaye, KG Larsen, A Mariegaard
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20