AuRA Lab
AuRA Lab è un laboratorio universitario specializzato nella ricerca scientifica nel campo del Ragionamento Automatico e delle sue applicazioni dell'Intelligenza Artificiale, con particolare attenzione ai Sistemi Multi-Agente. Lavoriamo per la ricerca e lo sviluppo di tecniche basate su metodi formali per la verifica e sintesi, rappresentazione della conoscenza, ragionamento strategico, logica computazionale, giochi formali, teoria degli automi e loro applicazioni.
Responsabile del Gruppo
Giuseppe Perelli
