4 papers
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Markov Population Models are a widespread formalism used to model the dynamics of complex systems, with applications in Systems Biology and many other fields. The associated Markov…
Random Projections for Improved Adversarial Robustness
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi
We propose two training techniques for improving the robustness of Neural Networks to adversarial attacks, i.e. manipulations of the inputs that are maliciously crafted to fool net…
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone +2
We introduce a novel learning-based approach to synthesize safe and robust controllers for autonomous Cyber-Physical Systems and, at the same time, to generate challenging tests. T…
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Ginevra Carbone, Matthew Wicker, Luca Laurenti +3
Vulnerability to adversarial attacks is one of the principal hurdles to the adoption of deep learning in safety-critical applications. Despite significant efforts, both practical a…