Sfoglia per Relatore
Implementation of a model-driven approach for the design of railway signalling systems
2017/2018 ANDREAUS, ATTILIO
Improving the code generation mechanism for the PuRSUE framework
2019/2020 BONETTI, VALENTINA
Model driven configuration and instrumentation in virtual environment of interactive robotic applications in healthcare settings
2022/2023 SAMARTH, SIDDHANT
Model-driven development of formally verified human-robot interactions
2022/2023 Lestingi, Livia
Model-driven risk analysis for the design of safe collaborative robotic applications
2017/2018 BURAN, FEDERICO
Modeling human decision-making in interactive service robotic ap plications
2022/2023 LIU, JIACHENG
Modeling stress factors for the formal analysis of assistive robotic applications
2022/2023 Campo Antico, Paola
Path planning of collaborative robots dealing with real maps and explicit time concerns
2016/2017 BELLI, GABRIELE
Progettazione e sviluppo di una applicazione di jammming distribuito
2010/2011 ELIA, SIMONE
Simulazione ibrida di sistemi meccatronici
2012/2013 BUENO, RAFAEL
SMT-based trace checking of CPS properties
2019/2020 VIGANÒ, ENRICO
Tools and techniques for creating automated mapping between heterogenous data specifications
2023/2024 Kalwar, Safia
Towards the improvement of learning mechanisms for machine energy consumption models
2022/2023 GUGGIARI, SOFIA
User-friendly controller synthesis for multi-agent robotic applications in presence of agents with unknown behavior
2017/2018 SOLDO, MATTEO
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili