2 citations · 3 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
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…
cs.FL2018
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…