Follow
Mathias Claus Jensen
Mathias Claus Jensen
Research Assistant, Department of Computer Science, Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Symbolic model checking of weighted PCTL using dependency graphs
M Claus Jensen, A Mariegaard, K Guldstrand Larsen
NASA Formal Methods Symposium, 298-315, 2019
42019
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
2*2018
A complete axiomatization of weighted branching bisimulation
MC Jensen, KG Larsen
Acta Informatica 57 (3), 689-725, 2020
2020
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
S Enevoldsen, MC Jensen, KG Larsen, A Mariegaard, J Srba
International Symposium on Logic-Based Program Synthesis and Transformation …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–4