Giuseppe Perelli
Membro di
Ultime pubblicazioni
| 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 |
| Expressiveness and Nash Equilibrium in Iterated Boolean Games on ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2021 |
| HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs on IJCAI 2021 | 2021 |