CARBONE, GINEVRA
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.026 secondi).
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
2021-01-01 Cairoli, F.; Carbone, G.; Bortolussi, L.
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
2021-01-01 Bortolussi, Luca; Cairoli, Francesca; Carbone, Ginevra; Franchina, Francesco; Regolin, Enrico
ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation
2020-01-01 Carbone, Ginevra; Sarti, Gabriele
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
2025-01-01 Bortolussi, Luca; Carbone, Ginevra; Laurenti, Luca; Patane, Andrea; Sanguinetti, Guido; Wicker, Matthew
Random Projections for Improved Adversarial Robustness
2021-01-01 Carbone, Ginevra; Sanguinetti, Guido; Bortolussi, Luca
Robustness and Interpretability of Neural Networks’ Predictions under Adversarial Attacks
2023-03-22 Carbone, Ginevra
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
2020-01-01 Carbone, Ginevra; Wicker, Matthew; Laurenti, Luca; Patane, Andrea; Bortolussi, Luca; Sanguinetti, Guido
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
2023-01-01 Bortolussi, L.; Cairoli, F.; Carbone, G.; Pulcini, P.
Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
2025-01-01 Scassola, D.; Saccani, S.; Carbone, G.; Bortolussi, L.