BERNAGOZZI, STEFANO
BERNAGOZZI, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Learning Linear Temporal Properties for Autonomous Robotic Systems
2023-01-01 Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L
Model-based Verification and Monitoring for Safe and Responsive Robots
2025-01-01 Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando
Modeling Robot Control Architectures forVerification andMonitoring
2024-01-01 Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando
Towards a Verifiable Toolchain for Robotics
2024-01-01 Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo
| 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 | |
| Model-based Verification and Monitoring for Safe and Responsive Robots | 1-gen-2025 | Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; Tacchella, Armando | |
| Modeling Robot Control Architectures forVerification andMonitoring | 1-gen-2024 | Bernagozzi, Stefano; Ferrando, Angelo; Ghiorzi, Enrico; Natale, Lorenzo; Tacchella, Armando | |
| Towards a Verifiable Toolchain for Robotics | 1-gen-2024 | Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Danielle; Bernagozzi, Stefano; Rosa, Stefano; Randazzo, Marco; Faraci, Sofia; Natale, Lorenzo |