Distances for Weighted Transition Systems: Games and Properties

by Uli Fahrenberg, Claus Thrane, Kim G. Larsen
Published 2011-07-01

Limit Your Consumption! Finding Bounds in Average-energy Games

by Kim G. Larsen, Simon Laursen, Martin Zimmermann
Published 2016-10-01

Parameterized Metatheory for Continuous Markovian Logic

by Kim G. Larsen, Radu Mardare, Claus Thrane
Published 2012-12-01

Time-Darts: A Data Structure for Verification of Closed Timed Automata

by Jiří Srba, Kim G. Larsen, Kenneth Y. Jørgensen
Published 2012-11-01

On Zone-Based Analysis of Duration Probabilistic Automata

by Bruce H. Krogh, Kim G. Larsen, Oded Maler
Published 2010-10-01

Average-energy games

by Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Published 2015-09-01

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

by Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis
Published 2012-02-01

Learning Markov Decision Processes for Model Checking

by Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Published 2012-12-01

MDM: A Mode Diagram Modeling Framework

by Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
Published 2012-12-01

Statistical Model Checking for Stochastic Hybrid Systems

by Danny Bøgsted Poulsen, Sean Sedwards, Axel Legay, Marius Mikučionis, Kim G. Larsen, Dehui Du, Alexandre David
Published 2012-08-01