Scholar
Nicola Paoletti
Google Scholar ID: v4R_cM4AAAAJ
Department of Informatics, King's College London
AI Safety
Formal Methods
Verification
Cyber-Physical Systems
Causality
Follow
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
18 items
Online Conformal Prediction Beyond Feedback
2026
Cited
0
Robust Counterfactual Policy Optimisation via Nondeterministic Causal Models
2026
Cited
0
On the QUEST for Uncertainty Quantification via Highest Density Regions
2026
Cited
0
PreAct-Bench: Benchmarking Predictive Monitoring in LLMs
2026
Cited
0
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
Load more
Resume (English only)
Co-authors
99 total
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Emanuela Merelli
University of Camerino
Shan Lin
Associate Professor in Electrical and Computer Engineering at Stony Brook Univ
Pietro Liò
Professor, University of Cambridge
Milan Ceska
Brno University of Technology
Co-author 7
Co-author 8