Guided Synthesis of Control Programs Using UPPAAL (2000)

by Thomas Hune , Kim G. Larsen , Paul Pettersson
Citations:60 - 29 self