Sfoglia per Correlatore LESTINGI, LIVIA
Mostrati risultati da 1 a 12 di 12
Automated Deployment of Multi-Robot Collaborative Applications in Hybrid Settings
2021/2022 Agugiaro, Lorenzo
Automating Event Detection for Automata Learning
2023/2024 LINDVED, LARS GYLDING
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
Formal modeling of patient-therapist dialogues and emotions for NLP applications
2023/2024 DETTORI, FRANCESCO
Formalization of a cognitive layered model of human decision-making for robotic applications
2022/2023 Ribolla, Gabriele
High-level specification of multi-agent interaction patterns
2023/2024 Tagliaferro, Alberto
Improved learning of automata models for cyber-physical systems
2023/2024 Leone, Simone
Model driven configuration and instrumentation in virtual environment of interactive robotic applications in healthcare settings
2022/2023 SAMARTH, SIDDHANT
Modeling stress factors for the formal analysis of assistive robotic applications
2022/2023 Campo Antico, Paola
Persuasion-guided automated testing for harmful content degeneration in Large Language Models
2024/2025 NEGRI, FRANCESCO RENATO
A user-friendly web application for assistive robotic mission development
2023/2024 Paraninfo, Chiara
Mostrati risultati da 1 a 12 di 12
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