A Complete Approximation Theory for Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (SETTA, 2016)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (CoRR, 2017)

Timed Comparisons of Semi-Markov Processes. - Mathias Ruggaard Pedersen; Nathanaël Fijalkow; Giorgio Bacci; Kim G. Larsen; Radu Mardare (LATA, 2018)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. - Mathias Ruggaard Pedersen; Giorgio Bacci; Kim Guldstrand Larsen; Radu Mardare (QEST, 2018)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2018)

On the Axiomatizability of Priority III: The Return of Sequential Composition. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Mathias Ruggaard Pedersen (ICTCS, 2019)

A Faster-Than Relation for Semi-Markov Decision Processes. - Mathias Ruggaard Pedersen; Giorgio Bacci; Kim G. Larsen (QAPL@ETAPS, 2019)

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. - Mathias Ruggaard Pedersen (CoRR, 2019)

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (CONCUR, 2020)

On the axiomatisability of priority III: Priority strikes again. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Theor. Comput. Sci., 2020)

Axiomatizations and Computability of Weighted Monadic Second-Order Logic. - Antonis Achilleos; Mathias Ruggaard Pedersen (LICS, 2021)

On Probabilistic Monitorability. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen (Principles of Systems Design, 2022)

On the Axiomatisability of Parallel Composition. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2022)