Giovanni Bacci
Giovanni Bacci
Department of Computer Science, Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
542013
Computing behavioral distances, compositionally
G Bacci, G Bacci, KG Larsen, R Mardare
International Symposium on Mathematical Foundations of Computer Science, 74-85, 2013
302013
Converging from branching to linear metrics on Markov chains
G Bacci, G Bacci, KG Larsen, R Mardare
International Colloquium on Theoretical Aspects of Computing, 349-367, 2015
192015
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
172015
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
International Symposium on Formal Methods, 651-669, 2019
142019
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
132012
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 Metric-based Approximate Minimization of Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
LIPIcs-Leibniz International Proceedings in Informatics 80, 2017
112017
Optimal and Robust Controller Synthesis
G Bacci, P Bouyer, U Fahrenberg, KG Larsen, N Markey, PA Reynier
International Symposium on Formal Methods, 203-221, 2018
92018
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
82016
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
72013
Approximating euclidean by imprecise Markov decision processes
M Jaeger, G Bacci, G Bacci, KG Larsen, PG Jensen
International Symposium on Leveraging Applications of Formal Methods, 275-289, 2020
62020
On-the-Fly Computation of Bisimilarity Distances
R Mardare, KG Larsen, G Bacci, G Bacci
Logical Methods in Computer Science 13, 2017
6*2017
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
5*2021
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
52018
Bisimulation on Markov Processes over Arbitrary Measurable Spaces
G Bacci, G Bacci, KG Larsen, R Mardare
Horizons of the Mind. A Tribute to Prakash Panangaden, 76-95, 2014
42014
On the Verification of Weighted Kripke Structures Under Uncertainty
G Bacci, M Hansen, KG Larsen
International Conference on Quantitative Evaluation of Systems, 71-86, 2018
32018
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
G Bacci, G Bacci, KG Larsen, R Mardare
arXiv preprint arXiv:1702.02528, 2017
32017
L ∗ -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
22021
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
22019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20