ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation. - Ginevra Carbone; Gabriele Sarti (NL4AI@AI*IA, 2020)

Robustness of Bayesian Neural Networks to Gradient-Based Attacks. - Ginevra Carbone; Matthew Wicker; Luca Laurenti; Andrea Patané; Luca Bortolussi; Guido Sanguinetti (NeurIPS, 2020)

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Francesco Franchina (OVERLAY, 2020)

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Francesco Franchina; Enrico Regolin (ADHS, 2021)

Abstraction of Markov Population Dynamics via Generative Adversarial Nets. - Francesca Cairoli; Ginevra Carbone; Luca Bortolussi (CMSB, 2021)

Random Projections for Improved Adversarial Robustness. - Ginevra Carbone; Guido Sanguinetti; Luca Bortolussi (IJCNN, 2021)

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks. - Ginevra Carbone; Luca Bortolussi; Guido Sanguinetti (IJCNN, 2022)

Stochastic Variational Smoothed Model Checking. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Paolo Pulcini (CoRR, 2022)

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. - Luca Bortolussi; Francesca Cairoli; Ginevra Carbone; Paolo Pulcini (RV, 2023)

Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints. - Davide Scassola; Sebastiano Saccani; Ginevra Carbone; Luca Bortolussi (CoRR, 2023)

Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints. - Davide Scassola; Sebastiano Saccani; Ginevra Carbone; Luca Bortolussi (AAAI, 2025)

On the Robustness of Bayesian Neural Networks to Adversarial Attacks. - Luca Bortolussi; Ginevra Carbone; Luca Laurenti; Andrea Patane; Guido Sanguinetti; Matthew Wicker (IEEE Trans. Neural Networks Learn. Syst., 2025)