Giovanni Bacci

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

Convex Lattice Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

L<sup>*</sup>-based learning of Markov decision processes (extended version).

[BibT_eX]

[DOI]

Martin Tappler

Bernhard K. Aichernig

Maria Eichlseder

Kim G. Larsen

Formal Aspects Comput., 2021

Optimal and robust controller synthesis using energy timed automata with uncertainty.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended).

[BibT_eX]

[DOI]

CoRR, 2021

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Active Learning of Markov Decision Processes using Baum-Welch algorithm.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

Quantitative Analysis of Interval Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2020

Approximating Euclidean by Imprecise Markov Decision Processes.

[BibT_eX]

[DOI]

Manfred Jaeger

Peter Gjøl Jensen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Converging from branching to linear metrics on Markov chains.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

L*-Based Learning of Markov Decision Processes (Extended Version).

[BibT_eX]

[DOI]

Martin Tappler

Bernhard K. Aichernig

Maria Eichlseder

Kim G. Larsen

CoRR, 2019

Model Checking Constrained Markov Reward Models with Uncertainties.

[BibT_eX]

[DOI]

Mikkel Hansen

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

L<sup>*</sup>-Based Learning of Markov Decision Processes.

[BibT_eX]

[DOI]

Martin Tappler

Bernhard K. Aichernig

Maria Eichlseder

Kim G. Larsen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

On the metric-based approximate minimization of Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Complete Axiomatization for the Total Variation Distance of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

On the Verification of Weighted Kripke Structures Under Uncertainty.

[BibT_eX]

[DOI]

Mikkel Hansen

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

On-the-Fly Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

2016

Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

On the Total Variation Distance of Semi-Markov Chains.

[BibT_eX]

[DOI]

Radu Mardare

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Topologies of Stochastic Markov Models: Computational Aspects.

[BibT_eX]

[DOI]

CoRR, 2014

Bisimulation on Markov Processes over Arbitrary Measurable Spaces.

[BibT_eX]

[DOI]

Radu Mardare

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

On-the-Fly Exact Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.

[BibT_eX]

[DOI]

Radu Mardare

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Computing Behavioral Distances, Compositionally.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages.

[BibT_eX]

[DOI]

PhD thesis, 2012

Automatic synthesis of specifications for first order curry programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, 2012

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2010

Abstract Diagnosis of First Order Functional Logic Programs.

[BibT_eX]

[DOI]