Nondeterministic controllers of nondeterministic processes, (2007)

by A Arnold, I Walukiewicz
Venue:in Logic and Automata,