Parametric Verification of Weighted Systems. - Peter Christoffersen; Mikkel Hansen; Anders Mariegaard; Julian Trier Ringsmose; Kim Guldstrand Larsen; Radu Mardare (SynCoP, 2015)

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures. - Louise Foshammer; Kim Guldstrand Larsen; Anders Mariegaard (Cassting/SynCoP, 2016)

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. - Mads Kronborg Agesen; Søren Enevoldsen; Thibaut Le Guilly; Anders Mariegaard; Petur Olsen; Arne Skou (Models, Algorithms, Logics and Tools, 2017)

Symbolic Dependency Graphs for $$ text {PCTL}^{>}_{ le }$$ Model-Checking. - Anders Mariegaard; Kim Guldstrand Larsen (FORMATS, 2017)

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)

Dependency graphs with applications to verification. - Søren Enevoldsen; Kim G. Larsen; Anders Mariegaard; Jirí Srba (Int. J. Softw. Tools Technol. Transf., 2020)

Quantitative Analysis of Interval Markov Chains. - Giovanni Bacci 001; Benoît Delahaye; Kim G. Larsen; Anders Mariegaard (Model Checking, Synthesis, and Learning, 2021)

AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. - Kim Guldstrand Larsen; Anders Mariegaard; Stefan Schmid 001; Jirí Srba (TASE, 2022)

Energy Consumption Optimization in Radio Access Networks (ECO-RAN). - Anders Mariegaard; Kim G. Larsen; Marco Muñiz; Thomas Dyhre Nielsen (CoRR, 2023)

AllSynth: A BDD-based approach for network update synthesis. - Kim G. Larsen; Anders Mariegaard; Stefan Schmid 001; Jirí Srba (Sci. Comput. Program., 2023)