Giuseppe Perelli
Membro di
Ultime pubblicazioni
| Equilibria for Games with Combined Qualitative and Quantitative Objects on ACTA INFORMATICA | 2021 |
| 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 |
| Multi-player games with LDL goals over finite traces on INFORMATION AND COMPUTATION | 2021 |
| Rational verification: Game-Theoretic Verification of Multi-Agent Systems on APPLIED INTELLIGENCE | 2021 |
| Synthesis with Mandatory Stop Actions on KR 2021 | 2021 |
| Timed Trace Alignment with Metric Temporal Logic over Finite Traces on KR 2021 | 2021 |