An algorithm for cooperative probabilistic control design - Barão, Miguel (2012)