Guided synthesis of control programs using Uppaal (0)

by Thomas Hune, Kim G Larsen, Paul Petterson
Venue:Nordic J. of Computing