Nicola Paoletti

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 73

Top Topics

Partial Observability

Stochastic Systems

Markov Decision Processes

Top Venues

Publications

Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti
Counterfactual Influence in Markov Decision Processes. CoRR (2024)
Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti
Verifiably Robust Conformal Prediction. CoRR (2024)
Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati
Biosignal Authentication Considered Harmful Today. USENIX Security Symposium (2024)
Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti
Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR (2024)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334 (2024)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV (2023)
Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC (2023)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR (2023)
Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access 11 (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR (2023)
Milad Kazemi, Nicola Paoletti
Towards Causal Temporal Reasoning for Markov Decision Processes. CoRR (2022)
Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR (2022)
Pallavi Bagga, Nicola Paoletti, Kostas Stathis
Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. CoRR (2022)
Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR (2022)
Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) (2022)
Pallavi Bagga, Nicola Paoletti, Kostas Stathis
Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. AAMAS (2022)
Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska
On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI (2021)
Pallavi Bagga, Nicola Paoletti, Kostas Stathis
Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty. FUZZ-IEEE (2021)
Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska
On Guaranteed Optimal Robust Explanations for NLP Models. CoRR (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring Under Partial Observability. RV (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR (2021)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC (2021)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
ANEGMA: an automated negotiation model for e-markets. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring under Partial Observability. CoRR (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of iterative predictions in Bayesian neural networks. UAI (2021)
Nicola Paoletti, Kin Sum Liu, Hongkai Chen, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (6) (2020)
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. NFM (2020)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR (2020)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Bayesian Neural Predictive Monitoring. OVERLAY (2020)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8 (2020)
Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. IJCAI (2020)
Pallavi Bagga, Nicola Paoletti, Kostas Stathis
Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues. CoRR (2020)
Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. CoRR (2020)
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. CoRR (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems (2019)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC (2019)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Predictive Monitoring. RV (2019)
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR (2019)
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. CoRR (2018)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. ATVA (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143 (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145 (2018)
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CMSB (2017)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR (2017)
Milan Ceska Jr., Milan Ceska, Nicola Paoletti
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. EUROCAST (2) (2017)
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR (2017)
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
How to Learn a Model Checker. CoRR (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST (2017)
Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54 (6) (2017)
Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic
Broken Hearted: How To Attack ECG Biometrics. NDSS (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC (2016)
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
Adaptability checking in complex systems. Sci. Comput. Program. (2016)
Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS (2016)
Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC (2015)
Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB (2015)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB (2015)
Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB (2014)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI (2014)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
Adaptability Checking in Multi-Level Complex Systems. CoRR (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) (2014)
Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. SEFM Workshops (2013)
Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli, Marco Viceconti
Modelling osteomyelitis. BMC Bioinform. 13 (S-14) (2012)
Pietro Liò, Emanuela Merelli, Nicola Paoletti
Disease processes as hybrid dynamical systems HSB (2012)
Emanuela Merelli, Nicola Paoletti, Luca Tesei
A multi-level model for self-adaptive systems FOCLASA (2012)
Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Trans. Comp. Sys. Biology 14 (2012)
Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti
Osteoporosis: a multiscale modeling viewpoint. CMSB (2011)
Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling. Electron. Notes Theor. Comput. Sci. 277 (2011)
Emanuela Merelli, Nicola Paoletti, Pietro Liò
Methodological Bridges for Multi-Level Systems. FET (2011)
Pietro Liò, Emanuela Merelli, Nicola Paoletti
Multiple verification in computational modeling of bone pathologies CompMod (2011)