Data symmetries and Learning in fully connected neural networks
Anselmi, Fabio, Manzoni, Luca, D'Onofrio, Alberto, Rodriguez, Alex, Caravagna, Giulio, Bortolussi, Luca, Cairoli, Francesca
Published in IEEE access (01.01.2023)
Published in IEEE access (01.01.2023)
Get full text
Journal Article
Generative abstraction of Markov population processes
Cairoli, Francesca, Anselmi, Fabio, d'Onofrio, Alberto, Bortolussi, Luca
Published in Theoretical computer science (25.10.2023)
Published in Theoretical computer science (25.10.2023)
Get full text
Journal Article
Neural Predictive Monitoring
Bortolussi, Luca, Cairoli, Francesca, Paoletti, Nicola, Smolka, Scott A., Stoller, Scott D.
Published in Runtime Verification (2019)
Published in Runtime Verification (2019)
Get full text
Book Chapter
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Franchina, Francesco, Regolin, Enrico
Published in IFAC-PapersOnLine (01.01.2021)
Published in IFAC-PapersOnLine (01.01.2021)
Get full text
Journal Article
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Pulcini, Paolo
Year of Publication 11.05.2022
Year of Publication 11.05.2022
Get full text
Journal Article
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy
Cairoli, Francesca, Fenu, Gianfranco, Pellegrino, Felice Andrea
Published in 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) (01.04.2019)
Published in 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) (01.04.2019)
Get full text
Conference Proceeding
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Franchina, Francesco, Regolin, Enrico
Year of Publication 04.09.2020
Year of Publication 04.09.2020
Get full text
Journal Article