Giuseppe Perelli
Identifiers
- name variant Giuseppe Perelli 0.60 · backfill
Papers (5)
- Reasoning about Quality and Fuzziness of Strategic Behaviours cs.LO · 2019 · author #6
- Reasoning about Strategies: on the Satisfiability Problem cs.LO · 2016 · author #3
- On the Remarkable Features of Binding Forms cs.LO · 2014 · author #2
- A Decidable Fragment of Strategy Logic cs.LO · 2012 · author #3
- Reasoning About Strategies: On the Model-Checking Problem cs.LO · 2011 · author #3
Mentions
Frequent Coauthors
- Aniello Murano 4 shared papers
- Fabio Mogavero 4 shared papers
- Moshe Y. Vardi 3 shared papers
- Bastien Maubert 1 shared papers
- Nicolas Markey 1 shared papers
- Orna Kupferman 1 shared papers
- Patricia Bouyer 1 shared papers