Solvers for reactive synthesis for Linear Time Temporal Specification on Finite Traces (2020-0070-1340-149927)

Solvers for reactive synthesis for Linear Time Temporal Specification on Finite Traces

Data pubblicazione: 08-01-2020
Data scadenza: 07-02-2020

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

data dell'ultimo aggiornamento: 10/03/2020 - 15:33

Codice bando: 2

AR 2_De Giacomo.pdf

AR 2 - Verbale-riunione-preliminare.docx_.pdf

2020-0070-1340-149927

Totale incarichi: 1

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
AR 2/2020	ZHU SHUFANG	01-12-2020 to 30-11-2022	Studio e sviluppo di risolutori per per reactive synthesis di specifiche in Linear Time Temporal Logic su tracce finite basati su tecniche automata theoretic e game theoretic.	€80 000.00