Concepedia

Francesco Fuggitti

FF

Statistics

Publications

2

Citations

78

H-Index

2

Active since

2020

Affiliations

York University(Current)

Francesco Fuggitti is an author at York University specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

2020–2023

2

Publications

2

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

NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas

Francesco Fuggitti, Tathagata Chakraborti · Proceedings of the AAAI Conference on Artificial Intelligence · 2023 · 36 citations · Full text

, , +19

1–2 of 2