Fingerprint

Dive into the research topics where Team Luca Laurenti is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 volumeConference contributionScientificpeer-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 volumeConference contributionScientificpeer-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 volumeConference contributionScientificpeer-review