Concepedia

Antonio Di Stasio

AD

Statistics

Publications

3

Citations

64

H-Index

3

Active since

2016

Affiliations

Sapienza University of Rome(Current)

Antonio Di Stasio is an author at Sapienza University of Rome specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

2016–2020

3

Publications

3

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti et al. · 2020 · 42 citations · Full text

, , +15

Imperfect-information games and generalized planning

Giuseppe De Giacomo, Aniello Murano, Sasha Rubin et al. · IRIS Research product catalog (Sapienza University of Rome) · 2016 · 12 citations

, , +20

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi et al. · 2020 · 10 citations · Full text

, , +17

1–3 of 3