PALMAS, MATTEO
PALMAS, MATTEO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling
2025-01-01 Palmas, Matteo; Bhatt, Varun; Zhao, Shihan; Nikolaidis, Stefanos; Lange, Ralph; KlauckAuthors Info &, Michaela; Claims,
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
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
2025-01-01 Lampacrescia, Marco; Klauck, Michaela; Palmas, Matteo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling | 1-gen-2025 | Palmas, Matteo; Bhatt, Varun; Zhao, Shihan; Nikolaidis, Stefanos; Lange, Ralph; KlauckAuthors Info &, Michaela; Claims, | |
| 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 | |
| Towards Verifying Robotic Systems Using Statistical Model Checking in STORM | 1-gen-2025 | Lampacrescia, Marco; Klauck, Michaela; Palmas, Matteo |