2 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
A Faster-Than Relation for Semi-Markov Decision Processes
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is nec…
On the Metric-based Approximate Minimization of Markov Chains
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen +1
In this paper, we address the approximate minimization problem of Markov Chains (MCs) from a behavioral metric-based perspective. Specifically, given a finite MC and a positive int…
Timed Comparisons of Semi-Markov Processes
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci +2
Semi-Markov processes are Markovian processes in which the firing time of the transitions is modelled by probabilistic distributions over positive reals interpreted as the probabil…