Nicola
Paoletti
Home
Research
Publications
Talks
Grants & Awards
Tools & Models
Teaching
Research
All (19)
Cyber-Physical Systems (11)
Synthesis (8)
Verification (7)
Stochastic Systems (11)
Control (3)
Machine Learning (3)
Security (3)
Artificial Pancreas (3)
Cardiac Devices (6)
Systems/Synthetic Biology (11)
SMT solving (5)
Robust systems (4)
Biometrics (1)