Guided Synthesis of Control Programs Using UPPAAL

Thomas Hune, Kim G. Larsen, Paul Pettersson

BRICS, Denmark

Next slide

Back to first slide

View graphic version