A Faster-Than Relation for Semi-Markov Decision Processes von Ruggaard Pedersen, Mathias, Bacci, Giorgio, Guldstrand Larsen, Kim

Volltext

Sustainable Energy Systems Planning, Integration, and Management von Anvari-Moghaddam, Amjad, Mohammadi-ivatloo, Behnam, Asadi, Somayeh, Guldstrand Larsen, Kim, Shahidehpour, Mohammad

Volltext

Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price von Golmohamadi, Hessam, Guldstrand Larsen, Kim, Gjøl Jensen, Peter, Riaz Hasrat, Imran

Volltext

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures von Foshammer, Louise, Guldstrand Larsen, Kim, Mariegaard, Anders

Volltext

Developing UPPAAL over 15 years von Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang

Volltext

Refinement of Trace Abstraction for Real-Time Programs von Cassez, Franck, Jensen, Peter Gjøl, Guldstrand Larsen, Kim

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice... von Groote, Jan Friso, Larsen, Kim Guldstrand

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice... von Groote, Jan Friso, Larsen, Kim Guldstrand

Volltext

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings von Brinksma, Ed, Larsen, Kim G

Volltext

Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal  Stratego von Naeem, Muhammad, Gu, Rong, Seceleanu, Cristina, Guldstrand Larsen, Kim, Nielsen, Brian, Albano, Michele

Volltext

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings von Larsen, Kim Guldstrand, Willemse, Tim

Volltext

Stubborn Set Reduction for Two-Player Reachability Games von Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba

Volltext

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers von Larsen, Kim G, Niebert, Peter

Volltext

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings von Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří

Volltext

Learning Symbolic Timed Models from Concrete Timed Data von Dierl, Simon, Howar, Falk Maria, Kauffman, Sean, Kristjansen, Martin, Guldstrand Larsen, Kim, Lorber, Florian, Mauritz, Malte

Volltext

Reasoning About Bounds in Weighted Transition Systems von Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

Volltext

Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Ve... von Larsen, Kim Guldstrand

Volltext

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs von Jaeger, Manfred, Jensen, Peter Gjøl, Guldstrand Larsen, Kim, Legay, Axel, Sedwards, Sean, Taankvist, Jakob Haahr

Volltext

Economic heat control of mixing loop for residential buildings supplied by low-temperature district heating von Golmohamadi, Hessam, Larsen, Kim Guldstrand

Volltext

Integration of flexibility potentials of district heating systems into electricity markets: A review von Golmohamadi, Hessam, Larsen, Kim Guldstrand, Jensen, Peter Gjøl, Hasrat, Imran Riaz

Volltext