1 citations · 1 across the 2 of their papers we have counts for
4 papers
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
Antonis Achilleos, Mathias Ruggaard Pedersen
Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized w…
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Mathias Ruggaard Pedersen
Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenienc…
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…
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…