Follow
Steven Adams
Steven Adams
TU Delft
Verified email at tudelft.nl
Title
Cited by
Cited by
Year
Formal control synthesis for stochastic neural network dynamic models
S Adams, M Lahijanian, L Laurenti
IEEE Control Systems Letters 6, 2858-2863, 2022
242022
A self-guided approach for navigation in a minimalistic foraging robotic swarm
S Adams, D Jarne Ornia, M Mazo Jr
Autonomous Robots 47 (7), 905-920, 2023
92023
BNN-DP: robustness certification of Bayesian neural networks via dynamic programming
S Adams, A Patane, M Lahijanian, L Laurenti
International Conference on Machine Learning, 133-151, 2023
52023
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
S Adams, M Lahijanian, L Laurenti
arXiv preprint arXiv:2407.18707, 2024
2024
A Stigmergy-Based Design for a Minimalistic Foraging Robotic Swarm
S Adams
2021
The system can't perform the operation now. Try again later.
Articles 1–5