Programmazione di sistemi autonomi basati su modelli e tecnologie ad agenti - JaCa per AR-Drone come caso di studio