Steven Adams

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 9

Top Topics

Foraging Theory

Top Venues

IEEE Control. Syst. Lett.

IEEE Trans. Control. Syst. Technol.

Publications

Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR (2024)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML (2023)
Steven Adams, Daniel Jarne Ornia, Manuel Mazo
A self-guided approach for navigation in a minimalistic foraging robotic swarm. Auton. Robots 47 (7) (2023)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR (2023)
Mehdi Hosseinzadeh, Karthick Shankar, Maria Apostolaki, Jay Ramachandran, Steven Adams, Vyas Sekar, Bruno Sinopoli
CANE: A Cascade Control Approach for Network-Assisted Video QoE Management. IEEE Trans. Control. Syst. Technol. 31 (6) (2023)
Mehdi Hosseinzadeh, Karthick Shankar, Maria Apostolaki, Jay Ramachandran, Steven Adams, Vyas Sekar, Bruno Sinopoli
CANE: A Cascade-Control Approach for Network-Assisted Video QoE Management. CoRR (2023)
Steven Adams, Morteza Lahijanian, Luca Laurenti
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. IEEE Control. Syst. Lett. 6 (2022)
Steven Adams, Morteza Lahijanian, Luca Laurenti
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. CoRR (2022)
Steven Adams, Daniel Jarne Ornia, Manuel Mazo Jr.
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm. CoRR (2021)
Chris Phillips, Steven Adams, David Page, Daniela Mehandjiska
The Design of the Client User Interface for a Meta Object-Oriented CASE Tool. TOOLS (28) (1998)