Proiectul îşi propune dezvoltarea de clase de specificaţii şi de strategii de planificare pentru roboţi mobili, cu scopul de a îndeplini sarcini complexe. Va fi avută în vedere o echipă de roboţi mobili care trebuie să execute aplicaţii ce includ atât specificaţii de mişcare, cât şi cerinţe de execuţie a unor acţiuni în regiuni specifice.
Pornind de la limbaje formale existente, ne propunem să delimităm subseturi de clase de specificaţii suficient de expresive pentru a integra acţiuni şi cerinţe de mişcare pentru misiuni ale unei echipe de roboţi. Specificaţia exprimă o cerinţă pentru întreaga echipă de roboţi, trebuind dezvoltaţi şi implementaţi algoritmi ce produc secvenţe de mişcare şi de efectuare a acţiunilor de către fiecare robot. Metodele automate ce urmează a fi dezvoltate vor utiliza probleme de optimizare şi modele cu număr finit de stări pentru evoluţia echipei şi pentru efectuarea acţiunilor.
Un obiectiv important al proiectului constă în validarea experimentală a algoritmilor de mişcare prin experimente de timp real. Intenţionăm efectuarea experimentelor în domenii de evoluţie bi- şi tri-dimensionale, utilizând o platformă existentă de laborator pentru roboţi mobili cu roţi, şi dezvoltând un cadru experimental pentru roboţi de tip dronă (quadcopter). Abordarea cercetării are în vedere o echipă formată din cinci cercetători postdoctorali (inclusiv directorul de proiect).