Guided Synthesis of Control Programs using Uppaal

Thomas Hune, Kim G. Larsen, Paul Pettersson

Research output: Contribution to journal › Article › Academic

2 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Guided Synthesis of Control Programs using Uppaal'. Together they form a unique fingerprint.

Computer Science