Nicola Paoletti

Senior Lecturer (Associate Professor) @ King's College London, UK

News

Sep 22: Glad to hear that our paper An STL-Based Formulation of Resilience in Cyber-Physical Systems received the best paper award at FORMATS'22, the 20th International Conference on Formal Modeling and Analysis of Timed Systems.
Sep 22: After four years at the Department of Computer Science at Royal Holloway, I moved to the Department of Informatics at King's College London.
Sep 22: I am in the PC of HSCC 2023, the 26th ACM International Conference on Hybrid Systems: Computation and Control, and I am publicity chair for ICCPS 2023, the 14th ACM/IEEE International Conference on Cyber-Physical Systems, both co-located with CPS-IoT Week 2023 in San Antonio, Texas.
Jul 22: Our paper Neural Predictive Monitoring for Collective Adaptive Systems has been accepted for presentation at ISoLA 2022, the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
Jul 22: Glad to attend the Daghstul Seminar on Security of Machine Learning.
Jun 22: Our paper An STL-Based Formulation of Resilience in Cyber-Physical Systems has been accepted for presentation at FORMATS'22, the 20th International Conference on Formal Modeling and Analysis of Timed Systems.
Jun 22: Glad to attend the Lorentz Center Workshop on Rigorous Automated Planning.
Mar 22: Our consortium was awarded an EC HORIZON-RIA grant on REXASI-PRO: REliable & eXplAinable Swarm Intelligence for People with Reduced mObility (ID: 101070028).
Jan 22: I am in the PC of CMSB 2022, the 20th International Conference on Computational Methods in Systems Biology.
Dec 21: I obtained an EPSRC New Investigator Award on MCPS-Verisec: Model-based security of medical cyber-physical systems (EP/W014785/1). See this news item to learn more.
Dec 21: I am in the PC of RV'22, the 22nd International Conference on Runtime Verification.
Dec 21: I am in the PC of NSV 22, the 15th International Workshop on Numerical Software Verification, co-located with FLoC 2022.
Dec 21: Our work on Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation has been accepted as an extended abstract at AAMAS 2022, International Conference on Autonomous Agents and Multi-Agent Systems.

Aug 21: Our paper MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas has been accepted for presentation at CDC 2021, the 60th IEEE Conference on Decision and Control.
Aug 21: Our paper Neural Predictive Monitoring Under Partial Observability has been accepted for presentation at RV'21, the 21st International Conference on Runtime Verification.
Jun 21: I am PC member and publicity chair (and Zoom master) for HSCC 2022, the 25th ACM International Conference on Hybrid Systems: Computation and Control, co-located with the 2022 CPS-IoT Week (virtual).
May 21: Our paper Certification of Iterative Predictions in Bayesian Neural Networks has been accepted for presentation at UAI 2021, the Conference on Uncertainty in Artificial Intelligence.
May 21: Our paper ANEGMA: an automated negotiation model for e-markets has been accepted for publication in the Autonomous Agents and Multi-Agent Systems journal.
May 21: Our paper Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty has been accepted for presentation at FUZZ-IEEE 2021, the IEEE International Conference on Fuzzy Systems.
Apr 21: Our paper On Guaranteed Optimal Robust Explanations for NLP Models has been accepted for presentation at IJCAI 2021, the 30th International Joint Conference on Artificial Intelligence.
Jan 21: I am in the PC of RV'21, the 21th International Conference on Runtime Verification.

Less More Top

Dec 20: I am in the PC of NSV 21, the 14th International Workshop on Numerical Software Verification 2021, co-located with CAV 2021.
Nov 20: I received the associate professorship habilitation in Computer Science in Italy
Nov 20: I am in the PC of CMSB 2021, the 19th International Conference on Computational Methods in Systems Biology.
Oct 20: Our paper on Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems has been published in IEEE Access.
Oct 20: Our paper on Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches has been accepted for publication in the RV 19 special issue on the International Journal on Software Tools for Technology Transfer.
Sep 20: I am in the PC of AAAI 2021, the 35th AAAI International Conference on Artificial Intelligence.
Aug 20: I am in the PC of HSCC 2021, the 24th ACM International Conference on Hybrid Systems: Computation and Control, part of CPS Week 2021 in Nashville, USA.
Jun 20: Our work on MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas has been accepted as a spotlight presentation at HSYS 2020, the ICML 2020 Workshop on Healthcare Systems, Population Health, and the Role of Health-Tech.

Less More Top

Apr 20: Our paper on A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation has been accepted for presentation at IJCAI-PRICAI 2020, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence.
Mar 20: New pre-print published on MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas.
Mar 20: Our work on Neural Predictive Monitoring has been accepted for presentation at HSB 2020, the 7th International Workshop on Hybrid Systems Biology, and at LiVe 2020, the 4th Workshop on Learning in Verification, co-located with ETAPS 2020.
Feb 20: Our paper on Neural Simplex Architecture has been accepted for publication in the 12th NASA Formal Methods Symposium (NFM 2020).
Feb 20: New pre-print published on Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation (see version accepted at IJCAI 2020).
Nov 19: I am in the PC of RV 20, the 20th International Conference on Runtime Verification.
Nov 19: I am in the PC of the MOVEP 2020 summer school.
Oct 19: I am in the artifact evaluation committee of TACAS 2020, the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Less More Top

Aug 19: I am in the PC of HSB 2020, the 7th International Workshop on Hybrid Systems and Biology.
Aug 19: The proceedings of HSB 2019 are now published!
Jul 19: Our paper Neural Predictive Monitoring has been accepted for publication in the 19th International Conference on Runtime Verification (RV 2019).
Jun 19: I will be in the PC of Medical Cyber Physical Systems in Internet of Things Workshop 2019.
Apr 19: Our paper Data-Driven Robust Control for a Closed-Loop Artificial Pancreas has been accepted for publication in IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Mar 19: A video is now available of my invited talk at the 2018 MathWorks Research Summit on Data-Driven Robust Control of Insulin Therapy.
May 19: Our paper Statistical Guarantees for the Robustness of Bayesian Neural Networks has been accepted for publication in the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019).
Mar 19: I will be a red judge for the AI XPRIZE competition sponsored by IBM Watson

Less More Top

Mar 19: The program of HSB 2019 is now out! We have 13 accepted contributions, 3 invited speakers and a session in memory of Oded Maler. Check out the complete program here.
Mar 19: I will be in the PC of DataMod 2019 - the 8th International Symposium From Data to Models and Back and SASB 2019 - the 10th International Workshop on Static Analysis and Systems Biology, both co-located with the 3rd World Congress on Formal Methods in Porto.
Mar 19: I will give two more presentations at CPS Week 2019: at CPS-SR 2019 on Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices, and at SNR 2019 on Neural State Classification for Hybrid Systems.
Feb 19: Presented two posters on meal detection and estimation and data-driven robust insulin control at ATTD 2019, the 13th International Conference on Advanced Technologies & Treatments for Diabetes in Berlin, Germany.
Feb 19: I will be in the PC of DARS 2019 - the 4th international workshop on design and analysis of robust systems, co-located with CAV 2019 in New York, USA.
Jan 19: Our paper Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes has been accepted for publication in the 2019 American Control Conference (ACC 2019), in Philadelphia, USA.
Jan 19: New preprint on Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems published.
Dec 18: Our paper Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices has been accepted for publication in the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019), part of CPS Week 2019 in Montreal, Canada.

Less More Top

Oct 18: I will be in the PC of CMSB 2019, the 17th International Conference on Computational Methods in Systems Biology, that will take place next year in Trieste, Italy.
Jul 18: Our paper Neural State Classification for Hybrid Systems has been accepted for publication in the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018).
Jun 18: I gave an invited talk at the MathWorks Research Summit 2018 at Newton MA (USA).
May 18: I will be co-chair of HSB 2019, the 6th International Workshop on Hybrid Systems and Biology, co-located with ETAPS 2019 in Prague.
May 18: Our paper Efficient Synthesis of Robust Models for Stochastic Systems has been accepted for publication in the Journal of Systems and Software.
May 18: I will be in the PC of SASB 2018 workshop, co-located with SAS 2018 in Freiburg.
Apr 18: I will be in the PC of EMSOFT 2018, work-in-progress track, that will take place in Torino, Italy.
Feb 18: In August 2018, I will join the Computer Science department at Royal Holloway University London as lecturer!

Less More Top

Feb 18: The VEMDP 2018 workshop on Verification of Engineered Molecular Devices and Programs (affiliated with CAV 2018) is now open for submissions!
Feb 18: I will be in the PC of DataMod 2018 symposium, co-located with STAF 2018 in Toulouse.
Dec 17: I will be in the PC of Medical CPS 2018 workshop, co-located with CPSWeek 2018 in Porto.
Nov 17: I will be in the PC of CMSB 2018, that will take place next year in Brno, Czech Republic.
Nov 17: Our paper Declarative vs Rule-based Control for Flocking Dynamics has been accepted to ACM Symposium on Applied Computing 2018, Intelligent Robotics and Multi-Agent Systems track
Oct 17: Our paper Closed-loop quantitative verification of rate-adaptive pacemakers has been accepted for publication to ACM Transactions on Cyber-Physical Systems
Sep 17: I'll be co-organizing the VEMDP 2018 (Verification of Engineered Molecular Devices and Programs) workshop at FLoC in Oxford
Sep 17: Our paper SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems has been accepted to Haifa Verification Conference 2017

Less More Top

Nov 17: My new website is online!
Aug 17: I was invited to give a talk at the 1st meeting of Italian-American Scientists of Long Island. See presentation
Aug 17: Our work on synthesis of chemical reaction networks has been accepted for presentation at SASB 2017 workshop in New York. See presentation
Jun 17: Our paper Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties has been accepted to the 15th International Conference on Computational Methods in Systems Biology (CMSB 2017)
May 17: I was invited to give a talk at the MathWorks Research Summit 2017. See presentation.
May 17: I will give an invited seminar at the I(CO)₂S group, Newcastle University (UK). See presentation.
May 17: Our tool paper RODES: A Robust-Design Synthesis Tool for Probabilistic Systems has been accepted to the 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Apr 17: Our paper Syntax-Guided Optimal Synthesis for Chemical Reaction Networks has been accepted to the 29th International Conference on Computer Aided Verification (CAV 2017)

Less More Top

Feb 17: Our paper Designing Robust Software Systems through Parametric Markov Chain Synthesis has been accepted to the IEEE International Conference on Software Architecture (ICSA 2017)

Less Top

About me

My work is in safety and security assurance of cyber-physical (aka autonomous) systems, or CPSs, i.e., systems characterised by computing devices that monitor and control physical processes. CPSs are found in numerous safety-critical domains like avionics, autonomous vehicles, and biomedical devices, domains where system errors can have fatal consequences. My research aims to develop formal analysis methods (verification, control, and synthesis) to design CPSs that are provably correct, with an emphasis on biomedical applications. With CPSs increasingly incorporating AI/ML components for e.g., sensing, control and model predictions, my work also focuses on data-driven verification of CPSs, whereby formal analysis and principled learning methods come together to provide correctness guarantees for such systems by fully taking into account their uncertainty and (potential) brittleness.

Check out some of my work on predictive monitoring of CPSs, robustness analysis of Bayesian neural networks, and synthesis of stealthy attacks on implantable cardiac devices.

I'm a Senior Lecturer (roughly equivalent to US associate professor) at the Department of Informatics at King's College London. In 2018 to 2022, I have been a Lecturer at the Department of Computer Science at Royal Holloway, University of London. Previously, I was a post-doc in the Department of Computer Science, Stony Brook University, working within the CyberCardia project. Prior to that, I was a post-doc in the Department of Computer Science, Oxford University, funded by the VERIWARE project. In 2013, I spent a 3-month internship in the Biological Computation Group, Microsoft Research Cambridge. I obtained a Ph.D. in Information Sciences and Complex Systems from Università di Camerino.