Conception formelle du pilotage d'une flotte de robots mobiles. (Formal design of driving a fleet of mobile robots). - Johan Girault (2015)

On-line compositional controller synthesis for AGV. - Johan Girault; Jean Jacques Loiseau; Olivier H. Roux (Discret. Event Dyn. Syst., 2016)