Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ragionamento strategico nella verifica di sistemi multi-agenti |
|---|---|
| Titolo del progetto di ricerca in inglese | Strategic Reasoning in Multi-Agent System Verification |
| Campo principale della ricerca | Engineering |
| Sottocampo della ricerca | Computer engineering |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/01 - ELETTRONICA |
| Descrizione sintetica in italiano | Studio e definizione di metodologie per il ragionamento strategico con particolare attenzione alla loro applicazione nell’ambito della specifica, verifica, pianificazione e sintesi di sistemi reattivi safety-critical in ambienti complessi. Analisi delle problematiche riguardanti l’interazione multi-agente in ambito concorrente e definizione di formalismi logici per la specifica, la verifica e la sintesi di strategie. Ricerca di soluzioni innovative per la l’interazione multi-agente in sistemi ad architetture complesse e dinamiche (sistemi gerarchici, ricorsivi, temporizzati, ecc.). Implementazione delle metodologie sviluppate in tool di verifica per sistemi multi-agente. |
| Descrizione sintetica in inglese | Study and definition of methodologies for the strategic reasoning to be used for the specification, verification and synthesis of multi-agent reactive safety-critical systems working in complex environments. Analysis of the issues related to the complex interactions in concurrent multi-agent systems and definition of logical formalisms for the specification, verification and synthesis of strategies. Definition of novel solutions to handle the interaction about agents in systems having complex and dynamic architectures (hierarchical, recursive, real-time, ecc). Implementation of the developed methodologies in verification tools for multi-agent systems. |
| Data del bando | 27/02/2015 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 19367 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unina.it (albo Ufficiale); www.dieti.unina.it (bandi) |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Dipartimento di Ingengeria elettrica e delle Tecnologie dell'Informazione Università di Napoli Federico II |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Napoli |
| Codice postale | 80125 |
| Indirizzo | Via Claudio,21 |
| Sito web | http://www.dieti.unina.it |
| cugnin@unina.it | |
| Telefono | 081 7683767 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 23/03/2015 |
|---|---|
| Come candidarsi | Other |