Ehlers, Rüdiger
Lafortune, Stéphane
Tripakis, Stavros
Vardi, Moshe Y.
Funding for this research was provided by:
National Science Foundation (CCF-1138860)
Article History
Received: 3 July 2014
Accepted: 8 December 2015
First Online: 15 March 2016