Research output per year
Research output per year
Search results
-
2020
A complete axiomatization of weighted branching bisimulation
Jensen, M. C. & Larsen, K. G., 1 Oct 2020, In: Acta Informatica. 57, p. 689-725 37 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, p. 249-268 20 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
2019
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs
Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
4 Citations (Scopus) -
2018
Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations
Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus)