Giovanni Bacci

Available identifiers

zbMath Open bacci.giovanniMaRDI QIDQ1785847

List of research outcomes

Publication	Date of Publication	Type
Model Checking Constrained Markov Reward Models with Uncertainties	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
https://portal.mardi4nfdi.de/entity/Q5856412	2021-03-26	Paper
Optimal and robust controller synthesis using energy timed automata with uncertainty	2021-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q5111436	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
https://portal.mardi4nfdi.de/entity/Q4608673	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5278079	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giovanni Bacci