Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. - Mathias Claus Jensen; Kim Guldstrand Larsen; Radu Mardare (FORMATS, 2018)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. - Mathias Claus Jensen; Anders Mariegaard; Kim Guldstrand Larsen (NFM, 2019)

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. - Søren Enevoldsen; Mathias Claus Jensen; Kim Guldstrand Larsen; Anders Mariegaard; Jirí Srba (LOPSTR, 2020)

A complete axiomatization of weighted branching bisimulation. - Mathias Claus Jensen; Kim Guldstrand Larsen (Acta Informatica, 2020)

Convex Lattice Equation Systems. - Giorgio Bacci; Giovanni Bacci 001; Mathias Claus Jensen; Kim G. Larsen (Principles of Systems Design, 2022)

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. - Falke B. Ø. Carlsen; Lars Bo P. Frydenskov; Nicolaj Ø. Jensen; Jener Rasmussen; Mathias M. Sørensen; Asger G. Weirsøe; Mathias Claus Jensen; Kim G. Larsen (GandALF, 2023)