Sfoglia per Autore
Composition of Nondeterministic Services for LTLf Task Specification
2023 De Giacomo, G.; Favorito, M.; Silo, L.
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic
2023 Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico
FOND Planning for Pure-Past Linear Temporal Logic Goals
2023 Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico
Composition of Stochastic Services for LTLf Goal Specifications
2024 DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Composition of Nondeterministic Services for LTLf Task Specification | 2023 | De Giacomo, G.; Favorito, M.; Silo, L. | |
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic | 2023 | Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico | |
FOND Planning for Pure-Past Linear Temporal Logic Goals | 2023 | Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico | |
Composition of Stochastic Services for LTLf Goal Specifications | 2024 | DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile