Pure-past linear time temporal logic and linear dynamic logic on finite traces (2020-0070-1340-159971)

Pure-past linear time temporal logic and linear dynamic logic on finite traces

Data pubblicazione: 04-03-2020
Data scadenza: 03-04-2020

Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-

data dell'ultimo aggiornamento: 02/07/2020 - 12:25

Codice bando: 8

Bando AR 8 De Giacomo.pdf

Verbale01-riunione-preliminare_AR_8_2020.docx_.pdf

AR 8 approvazione atti.pdf

2020-0070-1340-159971

Totale incarichi: 2

Incarichi conferiti

Tutte le pubblicazioni riguardanti i titolari di incarichi politici, i dirigenti, i consulenti e i collaboratori, di seguito riportate, sono garantite per tutta la durata dell'incarico nonché per un periodo ulteriore di tre anni decorrenti dalla data di cessazione dell'incarico medesimo ai sensi delle normative vigenti in termini di Trasparenza e Privacy.

ESTREMI ATTO	Nominativo	Periodo rapporto	Oggetto dell'incarico	Compenso
Pure-past linear time temporal logic and linear dynamic logic on finite traces	FUGGITTI FRANCESCO	01-07-2020 to 30-06-2022	Sviluppo di tecniche e tool per planning, synthesis e reinforcement learning con pure-past linear time temporal logic and linear dynamic logic on finite traces.	€24 000.00
Rinnovo Assegno di Ricerca bando n. 8/2020	FUGGITTI FRANCESCO	01-07-2022 to 30-06-2023	Sviluppo di tecniche e tool per planning, synthesis e reinforcement learning con pure-past linear time temporal logic and linear dynamic logic on finite traces	€24 000.00