Energy Games in Multiweighted Automata. - Uli Fahrenberg; Line Juhl; Kim G. Larsen; Jirí Srba (ICTAC, 2011)

Quantitative Refinement for Weighted Modal Transition Systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (MFCS, 2011)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Jirí Srba; Axel Legay (TASE, 2012)

Modal transition systems with weight intervals. - Line Juhl; Kim G. Larsen; Jirí Srba (J. Log. Algebraic Methods Program., 2012)

Extending modal transition systems with structured labels. - Sebastian S. Bauer; Line Juhl; Kim G. Larsen; Axel Legay; Jirí Srba (Math. Struct. Comput. Sci., 2012)

Optimal Bounds for Multiweighted and Parametrised Energy Games. - Line Juhl; Kim Guldstrand Larsen; Jean-François Raskin (Theories of Programming and Formal Methods, 2013)

Weighted modal transition systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (Formal Methods Syst. Des., 2013)

Synchronizing Words for Weighted and Timed Automata. - Laurent Doyen 001; Line Juhl; Kim Guldstrand Larsen; Nicolas Markey; Mahsa Shirmohammadi (FSTTCS, 2014)