Nicola Paoletti
Scholar

Nicola Paoletti

Google Scholar ID: v4R_cM4AAAAJ
Department of Informatics, King's College London
AI SafetyFormal MethodsVerificationCyber-Physical SystemsCausality
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,637
 
H-index
24
 
i10-index
45
 
Publications
20
 
Co-authors
99
list available
Contact
No contact links provided.
Publications
14 items
Calibrate-Then-Delegate: Safety Monitoring with Risk and Budget Guarantees via Model Cascades
2026
Cited
0
An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems
2025
Cited
0
Physics-Informed Neural Operators for Cardiac Electrophysiology
2025
Cited
0
CONFEX: Uncertainty-Aware Counterfactual Explanations with Conformal Guarantees
2025
Cited
0
Reliable Inference in Edge-Cloud Model Cascades via Conformal Alignment
2025
Cited
0
Conformal Predictive Monitoring for Multi-Modal Scenarios
2025
Cited
0
DRMD: Deep Reinforcement Learning for Malware Detection under Concept Drift
2025
Cited
0
Abstract Counterfactuals for Language Model Agents
2025
Cited
0
Resume (English only)
Co-authors
99 total
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Emanuela Merelli
Emanuela Merelli
University of Camerino
Shan Lin
Shan Lin
Associate Professor in Electrical and Computer Engineering at Stony Brook Univ
Pietro Liò
Pietro Liò
Professor, University of Cambridge
Milan Ceska
Milan Ceska
Brno University of Technology
Co-author 7
Co-author 7
Co-author 8
Co-author 8