Bridging the Gap between Science and Technology for Chemical Analysis Methods
Facoltà di scienze biomedicheHazard Detection for Robotic Applications as Visual Anomaly Detection
Facoltà di scienze informaticheCTL* Verification and Synthesis using Existential Horn Clauses
Facoltà di scienze informatiche