Mathias Claus Jensen

According to our database, Mathias Claus Jensen authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Fourteenth International Symposium on Games, 2023

2022

Convex Lattice Equation Systems.

Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen

Proceedings of the Principles of Systems Design, 2022

2020

A complete axiomatization of weighted branching bisimulation.

Mathias Claus Jensen, Kim Guldstrand Larsen

Acta Informatica, 2020

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.

Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.

Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations.

Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018