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 | 4 | 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 | 2 | 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 | 2* | 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 | | 2021 |
A complete axiomatization of weighted branching bisimulation MC Jensen, KG Larsen Acta Informatica 57 (3), 689-725, 2020 | | 2020 |