Obiettivo This project aims at developing formal methods based on logics and game theory to model, specify and analyse multi-agent systems (MAS).Such systems, in which autonomous agents interact and strategize to achieve private and/or common objectives, are central in many endeavours of high potential societal impact, such as the development of smart cities or robotic rescue teams for nuclear accidents. Because of the criticality of many application areas, there has been over the recent years an important and rising effort to bring together the formal methods community and the MAS community in order to develop theoretical paradigms and practical tools to help design provably correct multi-agent systems. The logical approach has until now been particularly successful. The most recent and promising proposal was made by Chatterjee, Henzinger and Piterman, who in 2010 introduced Strategy Logic, a logic tailored to reason about rich game-theoretic notions in multi-agent systems. This logic enjoys very interesting properties and has been well studied, but much remains to be done.In most real-life applications, agents only have imperfect information about their environment. Typically, rescue robots each have only a local, partial view of their environment. Their sensors may even get damaged during the mission, due to radiations for example. Considering imperfect information deeply impacts the strategizing process, and it also calls for a modelling of agents' uncertainty. In this project we propose to extend Strategy Logic to account for imperfect information and to allow for reasoning about agents' knowledge. Campo scientifico engineering and technologycivil engineeringurban engineeringsmart citiesengineering and technologyelectrical engineering, electronic engineering, information engineeringelectronic engineeringsensorsnatural sciencesmathematicsapplied mathematicsgame theory Programma(i) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Argomento(i) MSCA-IF-2015-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Invito a presentare proposte H2020-MSCA-IF-2015 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-IF-EF-ST - Standard EF Coordinatore UNIVERSITA DEGLI STUDI DI NAPOLI FEDERICO II Contribution nette de l'UE € 168 277,20 Indirizzo CORSO UMBERTO I, 40 80138 Napoli Italia Mostra sulla mappa Regione Sud Campania Napoli Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 168 277,20