Giuseppe Perelli

Giuseppe Perelli

Sapienza Università di Roma

H-index: 17

Europe-Italy

Contact Giuseppe Perelli

About Giuseppe Perelli

Giuseppe Perelli, With an exceptional h-index of 17 and a recent h-index of 16 (since 2020), a distinguished researcher at Sapienza Università di Roma, specializes in the field of Formal Methods, Strategic Reasoning, Automated Reasoning, Artificial Intelligence, Multi-Agent Systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

Playing Quantitative Games Against an Authority: On the Module Checking Problem

Pure-past action masking

Preemptive Restraining Bolts

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Strategy Repair in Reachability Games

Behavioral QLTL

On the complexity of rational verification

Optimal Alignment of Temporal Knowledge Bases

Giuseppe Perelli Information

University	Sapienza Università di Roma
Position	Research Associate at
Citations(all)	1069
Citations(since 2020)	680
Cited By	687
hIndex(all)	17
hIndex(since 2020)	16
i10Index(all)	29
i10Index(since 2020)	22
Email	Access Email
University Profile Page	Sapienza Università di Roma
Google Scholar	View Google Scholar Profile

Giuseppe Perelli Skills & Research Interests

Formal Methods

Strategic Reasoning

Automated Reasoning

Artificial Intelligence

Multi-Agent Systems

Top articles of Giuseppe Perelli

Playing Quantitative Games Against an Authority: On the Module Checking Problem

2024/5/6

Giuseppe Perelli

H-Index: 14

Pure-past action masking

2024

Natasha Alechina

H-Index: 17

Mehdi Dastani

H-Index: 22

Giuseppe De Giacomo

H-Index: 33

Giuseppe Perelli

H-Index: 14

Preemptive Restraining Bolts

2023/7/9

Natasha Alechina

H-Index: 17

Mehdi Dastani

H-Index: 22

Giuseppe De Giacomo

H-Index: 33

Giuseppe Perelli

H-Index: 14

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

arXiv preprint arXiv:2306.03045

2023/6/5

Julian Gutierrez

H-Index: 3

Muhammad Najib

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Strategy Repair in Reachability Games

FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS

2023

Pierre Gaillard

H-Index: 18

Fabio Patrizi

H-Index: 16

Giuseppe Perelli

H-Index: 14

Behavioral QLTL

2023/9/7

Giuseppe De Giacomo

H-Index: 33

Giuseppe Perelli

H-Index: 14

On the complexity of rational verification

Annals of Mathematics and Artificial Intelligence

2023/8

Julian Gutierrez

H-Index: 3

Muhammad Najib

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Optimal Alignment of Temporal Knowledge Bases

arXiv preprint arXiv:2307.15439

2023/7/28

Fabio Patrizi

H-Index: 16

Giuseppe Perelli

H-Index: 14

Anni-Yasmin Turhan

H-Index: 11

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

2022/7/30

Natasha Alechina

H-Index: 17

Giuseppe De Giacomo

H-Index: 33

Giuseppe Perelli

H-Index: 14

Giving Instructions in Linear Temporal Logic

2022

Julian Gutierrez

H-Index: 3

Sarit Kraus

H-Index: 42

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Equilibria for games with combined qualitative and quantitative objectives

Acta Informatica

2021/12

Julian Gutierrez

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Synthesis with mandatory stop actions

2021/9/30

Giuseppe De Giacomo

H-Index: 33

Antonio Di Stasio

H-Index: 4

Giuseppe Perelli

H-Index: 14

Shufang Zhu

H-Index: 6

Timed trace alignment with metric temporal logic over finite traces

2021/9/30

Giuseppe De Giacomo

H-Index: 33

Fabio Patrizi

H-Index: 16

Giuseppe Perelli

H-Index: 14

Rational verification: game-theoretic verification of multi-agent systems

Applied Intelligence

2021/9

Alessandro Abate

H-Index: 28

Julian Gutierrez

H-Index: 3

Lewis Hammond

H-Index: 1

Marta Kwiatkowska

H-Index: 43

Muhammad Najib

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Equilibrium design for concurrent games

arXiv preprint arXiv:2106.10192

2021/6/18

Julian Gutierrez

H-Index: 3

Muhammad Najib

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Expressiveness and Nash equilibrium in iterated Boolean games

ACM Transactions on Computational Logic (TOCL)

2021/6/8

Julian Gutierrez

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

Multi-player games with LDL goals over finite traces

Information and Computation

2021/2/1

Julian Gutierrez

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

HyperLDLf: a logic for checking properties of finite traces process logs

2021

Giuseppe De Giacomo

H-Index: 33

Giuseppe Perelli

H-Index: 14

Hierarchical cost-parity games

Theoretical Computer Science

2020/12/22

Giuseppe Perelli

H-Index: 14

Loredana Sorrentino

H-Index: 7

On computational tractability for rational verification

2020/12/1

Julian Gutierrez

H-Index: 3

Muhammad Najib

H-Index: 3

Giuseppe Perelli

H-Index: 14

Michael Wooldridge

H-Index: 46

See List of Professors in Giuseppe Perelli University(Sapienza Università di Roma)

Co-Authors

H-index: 101

Michael Wooldridge — Michael Wooldridge
University of Oxford

Visit Michael Wooldridge Page

H-index: 81

Giuseppe De Giacomo — Giuseppe De Giacomo
Sapienza Università di Roma

Visit Giuseppe De Giacomo Page

H-index: 56

Orna Kupferman — Orna Kupferman
Hebrew University of Jerusalem

Visit Orna Kupferman Page

H-index: 38

Nir Piterman — Nir Piterman
Göteborgs universitet

Visit Nir Piterman Page

H-index: 37

Angelo Montanari — Angelo Montanari
Università degli Studi di Udine

Visit Angelo Montanari Page

H-index: 24

Fabio Patrizi — Fabio Patrizi
Sapienza Università di Roma

Visit Fabio Patrizi Page

1
2

academic-engine

Useful Links

List of top 50 universities

List of top 100 universities

List of top 500 universities

Find Professors Email

Find Universities Email

CUFinder Academic Engine