Sfoglia per Relatore
Automating Event Detection for Automata Learning
2023/2024 LINDVED, LARS GYLDING
Co-simulation of human-robot collaboration (COSIM-HRC) : from temporal logic to 3D Morse
2018/2019 TIRYAKILER, OMER
Creation of a realistic dataset for the evaluation of a travel offer recommender system
2023/2024 Yilmaz, Melis
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
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
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