Tipologia bando:
Assegni di ricerca
Codice bando:
39
SSD:
Data pubblicazione:
Mar, 09/11/2021
Data scadenza:
Gio, 09/12/2021 (All day)
decreto approvazione atti:
Commissione concorso:
Criteri di valutazione:
SPC:
2021-0070-1340-182778
AR 39 - Formal synthesis of supervisory maximally permissive controllers for Artificial Intelligence-based agents under linear temporal logic specifications
Data di aggiornamento: 24/01/2022 - 15:09