| 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
Lecture Notes in Computer Science | 2023-08-10 | Paper |
On the Verification of Weighted Kripke Structures Under Uncertainty
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Quantitative analysis of interval Markov chains
Model Checking, Synthesis, and Learning | 2023-05-26 | Paper |
| scientific article; zbMATH DE number 7649917 (Why is no real title available?) | 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)
Formal Aspects of Computing | 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
(available as arXiv preprint) | 2021-03-26 | Paper |
| Computing probabilistic bisimilarity distances for probabilistic automata | 2021-03-26 | Paper |
Optimal and robust controller synthesis using energy timed automata with uncertainty
Formal Aspects of Computing | 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
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
scientific article; zbMATH DE number 6987095 (Why is no real title available?)
(available as arXiv preprint) | 2018-11-30 | Paper |
On the metric-based approximate minimization of Markov chains
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
On the metric-based approximate minimization of Markov chains
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
| Complete axiomatization for the bisimilarity distance on Markov chains | 2018-03-21 | Paper |
On-the-fly computation of bisimilarity distances
(available as arXiv preprint) | 2017-07-13 | Paper |
Converging from Branching to Linear Metrics on Markov Chains
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
On the total variation distance of semi-Markov chains
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Bisimulation on Markov processes over arbitrary measurable spaces
Lecture Notes in Computer Science | 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
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
On-the-fly exact computation of bisimilarity distances
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Abstract Diagnosis of First Order Functional Logic Programs
Logic-Based Program Synthesis and Transformation | 2011-05-27 | Paper |
