Sfoglia per Relatore
Fast computation of travel distance approximations through overlay graphs
2019/2020 Romano, Leonardo
Formal methods-based design of dynamically configurable traffic lights management systems
2017/2018 FRISO, LUCA
Formal verification of timed properties for data-intensive applications
MARCONI, FRANCESCO
Formalization of a cognitive layered model of human decision-making for robotic applications
2022/2023 Ribolla, Gabriele
Gestione energetica automatizzata di dispositivi mobili applicata ad un sistema di car sharing elettrico
2012/2013 CATERNOLO, SALVATORE
High-level specification of multi-agent interaction patterns
2023/2024 Tagliaferro, Alberto
HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications
2016/2017 LESTINGI, LIVIA
Implementation and evaluation of a Map Matching algorithm
2023/2024 Giangualano, Matias
Implementation of a model-driven approach for the design of railway signalling systems
2017/2018 ANDREAUS, ATTILIO
Improved learning of automata models for cyber-physical systems
2023/2024 Leone, Simone
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
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