Mathias Ruggaard Pedersen

16 papers A* 1B 1C 1Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2022 J jnl
On the Axiomatisability of Parallel Composition.
Log. Methods Comput. Sci.
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2021 A* conf
Axiomatizations and Computability of Weighted Monadic Second-Order Logic.
LICS
Antonis Achilleos, Mathias Ruggaard Pedersen
2021 J jnl
Axiomatizations and Computability of Weighted Monadic Second-Order Logic.
CoRR
Antonis Achilleos, Mathias Ruggaard Pedersen
2021 J jnl
On the Axiomatisability of Parallel Composition.
CoRR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 B conf
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum.
CONCUR
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2020 J jnl
On the axiomatisability of priority III: Priority strikes again.
Theor. Comput. Sci.
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
2019 — conf
A Faster-Than Relation for Semi-Markov Decision Processes.
QAPL
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
2019 J jnl
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects.
CoRR
Mathias Ruggaard Pedersen
2019 — conf
On the Axiomatizability of Priority III: The Return of Sequential Composition.
ICTCS
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
2018 — conf
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes.
QEST
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
2018 J jnl
Reasoning About Bounds in Weighted Transition Systems.
Log. Methods Comput. Sci.
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
2018 C conf
Timed Comparisons of Semi-Markov Processes.
LATA
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
2017 J jnl
Reasoning About Bounds in Weighted Transition Systems.
CoRR
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
2017 J jnl
Timed Comparisons of Semi-Markov Processes.
CoRR
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
2016 Misc conf
A Complete Approximation Theory for Weighted Transition Systems.
SETTA
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue