Team Luca Laurenti

Adversarial Robustness Certification for Bayesian Neural Networks
Wicker, M., Patane, A., Laurenti, L. & Kwiatkowska, M., 2025, Formal Methods : Proceedings of the 26th International Symposium, FM 2024. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer, p. 3-28 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Open Access
File
33 Downloads (Pure)
A Generalized Partitioning Strategy for Distributed Control
Riccardi, A., Laurenti, L. & De Schutter, B. H. K., 2025, Proceedings of the IEEE 63rd Conference on Decision and Control, CDC 2024. IEEE, p. 6134-6141 8 p. (Proceedings of the IEEE Conference on Decision and Control).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Data-Driven Permissible Safe Control with Barrier Certificates
Mazouz, R., Skovbekk, J., Mathiesen, F. B., Frew, E., Laurenti, L. & Lahijanian, M., 2025, Proceedings of the IEEE 63rd Conference on Decision and Control, CDC 2024. IEEE, p. 6844-6849 6 p. (Proceedings of the IEEE Conference on Decision and Control).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Fingerprint