Giovanni Bacci

Available identifiers

zbMath Open bacci.giovanniMaRDI QIDQ1785847

List of research outcomes

Publication	Date of Publication	Type
An MM algorithm to estimate parameters in continuous-time Markov chains	2024-05-29	Paper
Model Checking Constrained Markov Reward Models with Uncertainties	2024-03-14	Paper
\(L^*\)-based learning of Markov decision processes	2024-03-14	Paper
Convex lattice equation systems	2023-08-10	Paper
On the Verification of Weighted Kripke Structures Under Uncertainty	2023-06-28	Paper
Quantitative analysis of interval Markov chains	2023-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5875370	2023-02-03	Paper
Complete axiomatization for the total variation distance of Markov chains	2022-04-25	Paper
\(L^\ast\)-based learning of Markov decision processes (extended version)	2021-09-14	Paper
Optimal and robust controller synthesis. Using energy timed automata with uncertainty	2021-05-04	Paper
Computing probabilistic bisimilarity distances for probabilistic automata	2021-03-26	Paper
Optimal and robust controller synthesis using energy timed automata with uncertainty	2021-03-04	Paper
On the metric-based approximate minimization of Markov chains	2020-05-27	Paper
Converging from branching to linear metrics on Markov chains	2018-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4558787	2018-11-30	Paper
On the metric-based approximate minimization of Markov chains	2018-10-01	Paper
Complete axiomatization for the bisimilarity distance on Markov chains	2018-03-21	Paper
On-the-fly computation of bisimilarity distances	2017-07-13	Paper
Converging from Branching to Linear Metrics on Markov Chains	2016-02-25	Paper
On the total variation distance of semi-Markov chains	2015-10-01	Paper
Bisimulation on Markov processes over arbitrary measurable spaces	2014-06-02	Paper
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages	2014-02-25	Paper
Computing behavioral distances, compositionally	2013-09-20	Paper
On-the-fly exact computation of bisimilarity distances	2013-08-05	Paper
Abstract Diagnosis of First Order Functional Logic Programs	2011-05-27	Paper

Research outcomes over time

This page was built for person: Giovanni Bacci