AR 39 - Formal synthesis of supervisory maximally permissive controllers for Artificial Intelligence-based agents under linear temporal logic specifications (SPC: 2021-0070-1340-182778)

Codice bando: 39

Data pubblicazione: 09-11-2021
Data scadenza: 09-12-2021

Bando:

AR 39_2021_De Giacomo_bando.pdf

Decreto nomina commissione

Decreto nomina Commissione

Decreto approvazione atti

AR 39 - Approvazione Atti.pdf

Verbale della seduta preliminare:

Verbale riunione preliminare

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

2021-0070-1340-182778