AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Giuseppe Perelli

Giuseppe Perelli

Università degli Studi di Roma La Sapienza - Rome / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1807205
Sapienza University of Rome
person_outline Giuseppe Perelli's MOST POPULAR ARTICLES
1-) Reasoning about strategies: On the model-checking problem ACM Transactions on Computational Logic (TOCL) 15 (4), 1-47, 2014
2-) What makes ATL* decidable? a decidable fragment of strategy logic International Conference on Concurrency Theory, 193-208, 2012
3-) Synthesis with rational environments Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016
4-) Rational verification: From model checking to equilibrium checking Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
5-) Reasoning about strategies: on the satisfiability problem Logical Methods in Computer Science 13, 2017