AuRA Lab is a research laboratory specialised in Automated Reasoning and its Applications to Artificial Intelligence, with special focus on Multi-Agent Systems. The team work with techniques based on formal methods for the verification and synthesis, knowledge representation and reasoning, strategic reasoning, computational logics, formal games, automata theory, and their applications.
AuRA Lab è un laboratorio di ricerca specializzato nel campo del Ragionamento Automatico e delle sue applicazioni dell'Intelligenza Artificiale, con particolare attenzione ai Sistemi Multi-Agente. Il team lavora con 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.