BERNAGOZZI, STEFANO
BERNAGOZZI, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Learning Linear Temporal Properties for Autonomous Robotic Systems | 1-gen-2023 | Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L |