Risultati ricerca pubblicazioni

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

pubblicato su: IJCAI - 2020
De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma