EasyChair Smart SlideUser guide
Author: Kim Guldstrand Larsen

This page shows all presentations of this author published in EasyChair Smart Slide.

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty

Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier

Comfort and Energy Optimization for Floor Heating Systems

Comfort and Energy Optimization for Floor Heating Systems

Adrien Le Coent, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz and Jiri Srba

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair