| 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 | 78 | 2013 |
| -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 | 63* | 2021 |
| Computing behavioral distances, compositionally G Bacci, G Bacci, KG Larsen, R Mardare Mathematical Foundations of Computer Science 2013: 38th International …, 2013 | 42 | 2013 |
| 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 | 34 | 2020 |
| 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 | 27 | 2017 |
| 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 |
| 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 | 23* | 2021 |
| 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 | 23 | 2021 |
| 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 | 23 | 2018 |
| 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 | 20 | 2020 |
| 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 | 18 | 2012 |
| 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 | 17 | 2015 |
| 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 | 16 | 2018 |
| Abstract diagnosis of first order functional logic programs G Bacci, M Comini International Symposium on Logic-Based Program Synthesis and Transformation …, 2010 | 14 | 2010 |
| 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 | 13 | 2016 |
| 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 | 12 | 2013 |
| 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 | 11 | 2021 |
| On-the-Fly Computation of Bisimilarity Distances R Mardare, KG Larsen, G Bacci, G Bacci Logical Methods in Computer Science 13, 2017 | 11* | 2017 |
| 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 | 8 | 2021 |
| Model checking constrained Markov reward models with uncertainties G Bacci, M Hansen, KG Larsen Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 8 | 2019 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
