\input zb-basic \input zb-ioport \iteman{io-port 70373940} \itemau{Garone, Emanuele; Naldi, Roberto; Casavola, Alessandro; Frazzoli, Emilio} \itemti{Cooperative mission planning for a class of carrier-vehicle systems} \itemso{CDC, 1354-1359 (2010).} \itemcc{} \itemut{} \itemli{doi:10.1109/CDC.2010.5717171} \end