Mathias Claus Jensen
Mathias Claus Jensen
Research Assistant, Department of Computer Science, Aalborg University
Verified email at
Cited by
Cited by
Symbolic model checking of weighted PCTL using dependency graphs
M Claus Jensen, A Mariegaard, K Guldstrand Larsen
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
Convex lattice equation systems
G Bacci, G Bacci, MC Jensen, KG Larsen
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations
MC Jensen, KG Larsen, R Mardare
International Conference on Formal Modeling and Analysis of Timed Systems …, 2018
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
S Enevoldsen, MC Jensen, KG Larsen, A Mariegaard, J Srba
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
A complete axiomatization of weighted branching bisimulation
MC Jensen, KG Larsen
Acta Informatica 57 (3), 689-725, 2020
The system can't perform the operation now. Try again later.
Articles 1–5