Matteo Palmas

Dottorando
- Dipartimento di informatica, bioingegneria, robotica e ingegneria dei sistemi - DIBRIS
  Sezione interscuola politecnica del DIBRIS

Ricerca

Pubblicazioni IRIS

Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling
Anno: 2025
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
Anno: 2025
Towards a Verifiable Toolchain for Robotics
Anno: 2024

Lista completa pubblicazioni IRIS

Email: 4795803@studenti.unige.it

Modifica le tue informazioni

Accedi con UnigePass per modificare e personalizzare la tua pagina con altre informazioni