Farooq, Bilal2014-01-202014-01-202014-01-202011https://infoscience.epfl.ch/handle/20.500.14299/99856Recent Advances in Agent Synthesis for Large-Scale Integrated Modelstext::conference output::conference presentation