Research output per year
Research output per year
Search results
-
2024
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 AccessFile16 Downloads (Pure) -
2022
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 AccessFile1 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, 2Research output: Contribution to journal › Article › peer-review
12 Citations (Scopus) -
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 AccessFile13 Citations (Scopus)25 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)