Giuseppe Perelli
| Titolo | Pubblicato in | Anno |
|---|---|---|
| Imperfect information in reactive modules games | Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) | 2016 |
| Expressiveness and nash equilibrium in iterated boolean games | AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems | 2016 |
| Synthesis with rational environments | ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE | 2016 |
| Rational verification: From model checking to equilibrium checking | 30th AAAI Conference on Artificial Intelligence, AAAI 2016 | 2016 |
| Cycle detection in computation tree logic | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016 |
| Checking interval properties of computations | ACTA INFORMATICA | 2016 |
| Synthesis with rational environments | Multi-Agent Systems | 2015 |
| Multi-agent path planning in known dynamic environments | PRIMA 2015: Principles and Practice of Multi-Agent Systems | 2015 |
| Binding forms in first-order logic | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) | 2015 |
| Pushdown multi-agent system verification | IJCAI | 2015 |
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma