Ginevra Carbone

According to our database, Ginevra Carbone authored at least 11 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints.

Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi

CoRR, 2023

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

On the Robustness of Bayesian Neural Networks to Adversarial Attacks.

Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker

CoRR, 2022

Stochastic Variational Smoothed Model Checking.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

CoRR, 2022

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks.

Ginevra Carbone, Luca Bortolussi, Guido Sanguinetti

Proceedings of the International Joint Conference on Neural Networks, 2022

2021

Random Projections for Improved Adversarial Robustness.

Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi

Proceedings of the International Joint Conference on Neural Networks, 2021

Abstraction of Markov Population Dynamics via Generative Adversarial Nets.

Francesca Cairoli, Ginevra Carbone, Luca Bortolussi

Proceedings of the Computational Methods in Systems Biology, 2021

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Robustness of Bayesian Neural Networks to Gradient-Based Attacks.

Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

ETC-NLG: End-to-end Topic-Conditioned Natural Language Generation.

Ginevra Carbone, Gabriele Sarti

Proceedings of the 4th Workshop on Natural Language for Artificial Intelligence (NL4AI 2020) co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2020), 2020