Pubblicazioni di Perelli Giuseppe
2021
Gutierrez Juilan, Murano Aniello, Perelli Giuseppe, Rubin Sasha, Steeples Thomas, Wooldridge Michael
Equilibria for Games with Combined Qualitative and Quantitative Objects. ACTA INFORMATICA 2021: -
Gutierrez Julian, Harrenstein Paul, Perelli Giuseppe, Wooldridge Michael
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2021: -
De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021 2021: 1859-1865
Gutierrez J., Perelli G., Wooldridge M.
Multi-player games with LDL goals over finite traces. INFORMATION AND COMPUTATION 2021: -
Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael
Rational verification: Game-Theoretic Verification of Multi-Agent Systems. APPLIED INTELLIGENCE 2021: -
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 2021 2021: -
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe
2020
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. ARTIFICIAL INTELLIGENCE 2020: -25
Bozzelli Laura, Murano Aniello, Perelli Giuseppe, Sorrentino Loredana
Hierarchical Cost-Parity Games. THEORETICAL COMPUTER SCIENCE 2020: 147-174
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviour. 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 2020: 2887-2888
Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
Reconfigurable Interaction for MAS Modelling. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems 2020: 7-15
2019
Perelli G.
Enforcing equilibria in multi-agent systems. AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems 2019: 188-196
Gutierrez J., Najib M., Perelli G., Wooldridge M.
Equilibrium design for concurrent games. 30th International Conference on Concurrency Theory (CONCUR 2019) 2019: -
Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Nash equilibrium and bisimulation invariance. LOGICAL METHODS IN COMPUTER SCIENCE 2019: -49
Gutierrez J., Najib M., Perelli G., Wooldridge M.
On computational tractability for rational verification. IJCAI 2019: 329-335
Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.
Reasoning about quality and fuzziness of strategic behaviours. IJCAI 2019: 1588-1594
2018
Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.
Cycle detection in computation tree logic. INFORMATION AND COMPUTATION 2018: 265-279
Gutierrez J., Najib M., Perelli G., Wooldridge M.
EVE: A Tool for Temporal Equilibrium Analysis. Automated Technology for Verification and Analysis 2018: 551-557
Gutierrez Julian, Perelli Giuseppe, Wooldridge Michael
Imperfect information in Reactive Modules games. INFORMATION AND COMPUTATION 2018: 650-675
Almagor S., Kupferman O., Perelli G.
2017
Bozzelli L., Murano A., Perelli G., Sorrentino L.
Hierarchical cost-parity games. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) 2017: -
Gutierrez J., Perelli G., Wooldridge M.
Iterated games with LDL goals over finite traces. AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems 2017: 696-704
Gutierrez J., Murano A., Perelli G., Rubin S., Wooldridge M.
Nash equilibria in concurrent games with lexicographic preferences. IJCAI 2017: 1067-1073
Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Nash equilibrium and bisimulation invariance. 28th International Conference on Concurrency Theory (CONCUR 2017) 2017: -
Mogavero F., Murano A., Perelli G., Vardi M. Y.
Reasoning about strategies: On the satisfiability problem. LOGICAL METHODS IN COMPUTER SCIENCE 2017: -
2016
Molinari Alberto, Montanari Angelo, Murano Aniello, Perelli Giuseppe, Peron Adriano
Checking interval properties of computations. ACTA INFORMATICA 2016: 587-619
Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.
Cycle detection in computation tree logic. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2016: 164-177
Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Expressiveness and nash equilibrium in iterated boolean games. AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems 2016: 707-715
Gutierrez J., Perelli G., Wooldridge M.
Imperfect information in reactive modules games. Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) 2016: 390-399
Wooldridge M., Gutierrez J., Harrenstein P., Marchioni E., Perelli G., Toumi A.
Rational verification: From model checking to equilibrium checking. 30th AAAI Conference on Artificial Intelligence, AAAI 2016 2016: 4184-4190
Di Stasio A., Murano A., Perelli G., Vardi M. Y.
Solving parity games using an automata-based algorithm. Implementation and Application of Automata 2016: 64-76
Kupferman O., Perelli G., Vardi M. Y.
Synthesis with rational environments. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE 2016: 3-20
2015
Mogavero F., Perelli G.
Binding forms in first-order logic. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) 2015: 648-665
Murano A., Perelli G., Rubin S.
Multi-agent path planning in known dynamic environments. PRIMA 2015: Principles and Practice of Multi-Agent Systems 2015: 218-231
Murano A., Perelli G.
Pushdown multi-agent system verification. IJCAI 2015: 1090-1097
Kupferman O., Perelli G., Vardi M. Y.
Synthesis with rational environments. Multi-Agent Systems 2015: 219-235
2014
Montanari A., Murano A., Perelli G., Peron A.
Checking interval properties of computations. 2014 21st International Symposium on Temporal Representation and Reasoning 2014: 59-68
Mogavero F., Murano A., Perelli G., Vardi M. Y.
Reasoning about strategies: On the model-checking problem. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2014: 1-47
2012
Mogavero F., Murano A., Perelli G., Vardi M. Y.
What makes ATL* decidable? A decidable fragment of strategy logic. CONCUR 2012 – Concurrency Theory 2012: 193-208
Guidi A
Les conclusions ‘galliardes’ du Secrétaire florentin : esprit de finesse, initiative et efficacité politique dans l'activité pratique de Machiavel. Être homme de 'lettres': secrétaires et politique culturelle au Cinquecento : -
Giresini L, Andreini M, De Falco A, Puppio Ml, Sassu M
Structural protection after landslide phenomena: a case study in Northern Italy. Proceeding of the 4th CEUP2015 (Int. Conf. on Civil Engineering and Urban Planning) : -