Mathias Ruggaard Pedersen

According to our database, Mathias Ruggaard Pedersen authored at least 13 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

On Probabilistic Monitorability.

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen

Proceedings of the Principles of Systems Design, 2022

2021

Axiomatizations and Computability of Weighted Monadic Second-Order Logic.

Antonis Achilleos, Mathias Ruggaard Pedersen

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

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

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects.

Mathias Ruggaard Pedersen

CoRR, 2019

A Faster-Than Relation for Semi-Markov Decision Processes.

Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen

Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019

On the Axiomatizability of Priority III: The Return of Sequential Composition.

Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

Log. Methods Comput. Sci., 2018

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes.

Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Timed Comparisons of Semi-Markov Processes.

Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare

Proceedings of the Language and Automata Theory and Applications, 2018

2017

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

CoRR, 2017

2016

A Complete Approximation Theory for Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016