Sfoglia per Relatore
Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse
2018/2019 TIRYAKILER, OMER
Critical review of state-of-the-art of software engineering techniques
2017/2018 NAJAFI, MORTEZA
Delay estimation for shared rides for GPS data
2020/2021 Samavati, Sepehr
Development of a flexible methodology for the control and management of industrial plants
2017/2018 GALLARDO MOLINA, SEBASTIÁN
Development of a user friendly testing tool for the gas meter industry
2021/2022 Ibarra Tejera, Saul Andres
A DSL for formally verified interactive robotic applications in service settings
2021/2022 ZERLA, DAVIDE
Estensione di un ambiente di esecuzione per applicazioni robotiche collaborative formalmente verificate
2020/2021 SBIETTI, MICHELE
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
HRC-Team : a model-driven approach to formal verification and deployment of collaborative robotic applications
2016/2017 LESTINGI, LIVIA
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
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