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 |