Nicola Paoletti
Papers
1
Total Citations
4
H-Index
1
About
Nicola Paoletti is a leading researcher at the intersection of formal methods, machine learning, and safety-critical cyber-physical systems (CPS). His work addresses a fundamental challenge: how to rigorously guarantee the safety of systems that incorporate learning-enabled components, such as deep neural networks for control or perception. Paoletti’s key contributions lie in developing formal verification and synthesis techniques that can reason about the complex, often probabilistic, behaviors of these systems. His highly cited 2023 paper, “How to ensure safety of learning-enabled cyber-physical systems?” (4 citations), provides a foundational framework for this emerging field, outlining methods to verify properties like robustness and stability. Beyond this, Paoletti has made significant strides in applying these techniques to real-world domains, including autonomous driving, medical devices, and robotics. His work is characterized by a practical focus on scalability and applicability, bridging the gap between theoretical verification and deployed systems. With a growing citation record and a reputation for tackling some of the most pressing problems in AI safety, Paoletti is shaping how we build trustworthy, learning-enabled technologies for the future.
Research Focus
Key Achievements
Top Papers
- 1How to ensure safety of learning-enabled cyber-physical systems?4 citations · 2023