DE GIACOMO, GIUSEPPE

DE GIACOMO, GIUSEPPE  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Planning under LTL environment specifications 4.1 Articoli in Atti di convegno 2019 Aminof, B.; De Giacomo, G.; Murano, A.; Rubin, S.
Timed Trace Alignment with Metric Temporal Logic over Finite Traces 4.1 Articoli in Atti di convegno 2021 De Giacomo, G.; Murano, A.; Patrizi, F.; Perelli, G.