Search results

• 2024

  Biosignal Authentication Considered Harmful Today

  Krish, V., Paoletti, N., Kazemi Mehrabadi, M., Smolka, S. A. & Rahmati., A., 2024, (Accepted/In press) USENIX Security 2024.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  123 Downloads (Pure)

• Probabilistic Reach-Avoid for Bayesian Neural Networks

  Wicker, M., Laurenti, L., Patane, A., Paoletti, N., Abate, A. & Kwiatkowska, M., 3 Apr 2024, (Accepted/In press) In: ARTIFICIAL INTELLIGENCE.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  16 Downloads (Pure)
• 2023

  An STL-based Approach to Resilient Control for Cyber-Physical Systems

  Chen, H., Smolka, S. A., Lin, S. & Paoletti, N., 21 Jan 2023, (Accepted/In press) 26th ACM International Conference on Hybrid Systems: Computation and Control.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  49 Downloads (Pure)

• Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

  Bortolussi, L., Cairoli, F. & Paoletti, N., 21 Jan 2023, (Accepted/In press) 26th ACM International Conference on Hybrid Systems: Computation and Control.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  46 Downloads (Pure)

• Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees

  Cairoli, F., Bortolussi, L. & Paoletti, N., 22 Jun 2023, (Accepted/In press) 23rd International Conference on Runtime Verification. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  69 Downloads (Pure)
• 2022

  An STL-Based Formulation of Resilience in Cyber-Physical Systems

  Chen, H., Lin, S., Smolka, S. A. & Paoletti, N., 29 Aug 2022, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Proceedings. Bogomolov, S. & Parker, D. (eds.). Vol. 13465. p. 117-135 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13465 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Cyber Physical Systems 100%
  • Reasoning 25%
  • Syntactics 25%
  • Soundness 25%
  • Booleans 25%
  2 Citations (Scopus)

  49 Downloads (Pure)

• Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

  Bagga, P., Paoletti, N. & Stathis, K., 9 May 2022, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. p. 1533-1535 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Automated Build 100%
  • Deep Reinforcement Learning 100%
  • Optimal Action 100%
  3 Citations (Scopus)

• Neural Predictive Monitoring for Collective Adaptive Systems

  Cairoli, F., Paoletti, N. & Bortolussi, L., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning. ISoLA 2022. Springer, p. 30-46 (Lecture Notes in Computer Science; vol. 13703).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  3 Citations (Scopus)

  24 Downloads (Pure)

• Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs

  Krish, V., Paoletti, N., Smolka, S. A. & Rahmati., A., 28 Dec 2022, In: IEEE Access. 11, p. 4992 5003 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Attack 100%
  • Control Software 22%
  • Algorithms 11%
  • Prevents 11%
  • Multi-Objective Optimization 11%
  1 Citation (Scopus)

  26 Downloads (Pure)
• 2021

  ANEGMA: an automated negotiation model for e-markets

  Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., 7 Jun 2021, In: Autonomous Agents and Multi-Agent Systems . 35, 2

  Research output: Contribution to journal › Article › peer-review
  12 Citations (Scopus)

• Certification of Iterative Predictions in Bayesian Neural Networks

  Wicker, M., Laurenti, L., Patane, A., Paoletti, N., Abate, A. & Kwiatkowska, M., 2021, Uncertainty in Artificial Intelligence (UAI 2021). Vol. 161. p. 1713-1723 11 p. (Proceedings of Machine Learning Research).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  5 Citations (Scopus)

  28 Downloads (Pure)

• MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas

  Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 2021, 60th IEEE Conference on Decision and Control (CDC 2021). IEEE, p. 2525-2532 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  3 Citations (Scopus)

  33 Downloads (Pure)

• Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches

  Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 24 May 2021, In: International Journal on Software Tools for Technology Transfer, to appear. 23, 4, p. 615-640 26 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  13 Citations (Scopus)

  25 Downloads (Pure)

• Neural Predictive Monitoring Under Partial Observability

  Cairoli, F., Bortolussi, L. & Paoletti, N., 2021, Runtime Verification. Vol. 12974. p. 121-141 21 p. (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  6 Citations (Scopus)

  17 Downloads (Pure)

• On Guaranteed Optimal Robust Explanations for NLP Models

  La Malfa, E., Zbrzezny, A., Michelmore, R., Paoletti, N. & Kwiatkowska, M., 2021, International Joint Conference on Artificial Intelligence (IJCAI 2021). p. 2658-2665 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  18 Citations (Scopus)

  18 Downloads (Pure)

• Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

  Bagga, P., Paoletti, N. & Stathis, K., 2021, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2021). p. 1-6 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  2 Citations (Scopus)

  24 Downloads (Pure)
• 2020

  Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

  Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2020, In: IEEE Access. 8, p. 180825-180843 19 p.

  Research output: Contribution to journal › Article › peer-review
  327 Citations (Scopus)

• Bayesian Neural Predictive Monitoring

  Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 2020, 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY 2020). p. 95-100 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
  1 Citation (Scopus)