Controlling a Random Population.

Thomas Colcombet, Nathanal Fijalkow, Pierre Ohlmann

Browse the full FOSSACS paper archive.