Dettaglio incarico o sussidio
Estremi atto conferimento: AR 7-2020 Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition
Nominativo: FRAGA PEREIRA RAMON
Tipologia rapporto: Assegni di ricerca
Periodo rapporto: dal 01-02-2021 a 31-01-2023
Oggetto dell'incarico:
Studio e sviluppo di tecniche e system Planning for goals expressed in Linear Time Logics on finite traces in incomplete and approximate domain models: plan synthesis and goal recognition.
Curriculum vitae:
ramon_pereira-CV.pdf
insussistenza conflitto di interessi:
FRAGA PEREIRA - Insussistenza.pdf
Compenso: €80 000,00
L'assegnatario dichiara di non svolgere incarichi, di non rivestire cariche presso enti di diritto privato regolati o finanziati dalla pubblica amministrazione nè di svolgere attività professionali.
Bando, provvedimento o avviso interno relativo alla procedura di conferimento:
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
o
.