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
162022
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
32023
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
12023
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–4