Giuseppe Perelli
Membro di
Ultime pubblicazioni
Behavioral QLTL in EUMAS 2023 | 2023 |
Optimal Alignment of Temporal Knowledge Bases in European Conference on Artificial Intelligence | 2023 |
Reasoning about Quality and Fuzziness of Strategic Behaviors in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2023 |
Strategy Repair in Reachability Games in European Conference on Artificial Intelligence | 2023 |
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems in KR 2022 | 2022 |
Giving Instructions in Linear Temporal Logic in Time 2022 | 2022 |
On the complexity of rational verification in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2022 |