Bandi per assegni di ricerca

ROMA "La Sapienza"

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Sintesi formale di controllori massimamente permissivi per la supervisione di agenti basati su intelligenza artificiale secondo specifiche di logica temporale lineare
Titolo del progetto di ricerca in inglese Formal synthesis of supervisory maximally permissive controllers for Artificial Intelligence-based agents under linear temporal logic specifications
Area CUN 09 - Ingegneria industriale e dell'informazione
S.S.D ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Descrizione sintetica in italiano Studio e sviluppo di tecniche e strumenti per
definire e risolvere la sintesi formale di controllori massimamente permissivi per la supervisione di agenti basati su intelligenza artificiale secondo specifiche di logica temporale lineare.
Descrizione sintetica in inglese Study and development of techniques and tools for
defining and solving the formal synthesis of
maximally permissive supervisory controllers for
Artificial Intelligence-based agents under linear
temporal logic specifications.
Data del bando 09/11/2021
Numero di assegnazioni per anno 1
Periodicità 24 mesi
Paesi in cui può essere condotta la ricerca Italy
Paesi di residenza dei candidati OTHER
Nazionalità dei candidati OTHER
Sito web del bando https://web.uniroma1.it/trasparenza/bando/182778_39

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Experienced researcher or 4-10 yrs (Post-Doc)
Comprende il costo della ricerca no

 

Finanziatore
Nome dell'Ente finanziatore UNIVERSITA' DI ROMA LA SAPIENZA
Tipologia dell'Ente Public research
Paese dell'Ente Italy
Città ROMA
Codice postale 00185
Indirizzo VIA ARIOSTO 25
Sito web https://web.uniroma1.it/trasparenza/

 

Contatto presso l'Ente
E-mail fabio.tufilli@uniroma1.it
Telefono 0677274137

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? H2020/Erc

 

Dettagli per la candidatura
Data di scadenza del bando 09/12/2021
Come candidarsi pecdis@cert.uniroma1.it