4 citations · 7 across the 5 of their papers we have counts for
6 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…
On the Axiomatisability of Parallel Composition
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +2
This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear…
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…
Reasoning About Bounds in Weighted Transition Systems
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare +1
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulatio…