AuRA Lab - Automated Reasoning and Applications

The Automated Reasoning and Applications Lab is a research laboratory of the Department of Computer Science at Sapienza University of Rome.

Our research interests regard many aspects of Automated Reasoning and its Applications to Artificial Intelligence, with special focus on Multi-Agent Systems. We work on research and development of techniques based on formal methods for verification and synthesis, knowledge representation and reasoning, strategic reasoning, computational logics, formal games, automata theory, and their applications.