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
Profiles
-
Abstraction Learning with Guarantees: Data-Driven Approaches to Symbolic Control and Verification
Coppola, R., 2026, 161 p.Research output: Thesis › Dissertation (TU Delft)
Open AccessFile12 Downloads (Pure) -
A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
Laurenti, L. & Lahijanian, M., 2026, In: IEEE Transactions on Automatic Control. 71, 2, p. 769-779 11 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Downloads (Pure) -
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
Adams, S., Patanè, A., Lahijanian, M. & Laurenti, L., 2026, In: Journal of Machine Learning Research. 27, 33, p. 1-52Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
Datasets
-
Bound propagation
Mathiesen, F. B. (Creator), GitHub, 2 Jan 2021
https://github.com/Zinoex/bound_propagation
Dataset/Software: Software
-
Data for publication: Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights
Riccardi, A. (Creator), Laurenti, L. (Creator) & De Schutter, B. (Creator), TU Delft - 4TU.ResearchData, 19 Jan 2026
DOI: 10.4121/f5e9c734-c14e-40f7-93a8-82884a0efbfc
Dataset/Software: Dataset
-
IntervalMDPAbstractions.jl
Mathiesen, F. B. (Creator), GitHub, 27 Jan 2025
https://github.com/Zinoex/IntervalMDPAbstractions.jl
Dataset/Software: Software