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