Mathias Claus Jensen

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

Inclusion Dependencies

Stochastic Games

Dependency Graph

Top Venues

Acta Informatica

Principles of Systems Design

Publications

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
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF (2023)
Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen
Convex Lattice Equation Systems. Principles of Systems Design (2022)
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR (2020)
Mathias Claus Jensen, Kim Guldstrand Larsen
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57 (3-5) (2020)
Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs. NFM (2019)
Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS (2018)