Steven Adams

16 papers A* 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Efficient Distribution Learning with Error Bounds in Wasserstein Distance.
CoRR
Eduardo Figueiredo, Steven Adams, Luca Laurenti
2026 J jnl
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.
J. Mach. Learn. Res.
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2025 J jnl
Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance.
CoRR
Eduardo Figueiredo, Steven Adams, Peyman Mohajerin Esfahani, Luca Laurenti
2025 — conf
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise.
CDC
Steven Adams, Eduardo Figueiredo, Luca Laurenti
2025 J jnl
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise.
CoRR
Steven Adams, Eduardo Figueiredo, Luca Laurenti
2025 J jnl
discretize_distributions: Efficient Quantization of Gaussian Mixtures with Guarantees in Wasserstein Distance.
CoRR
Steven Adams, Elize Alwash, Luca Laurenti
2024 J jnl
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.
CoRR
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2023 J jnl
A self-guided approach for navigation in a minimalistic foraging robotic swarm.
Auton. Robots
Steven Adams, Daniel Jarne Ornia, Manuel Mazo
2023 A* conf
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
ICML
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023 J jnl
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
CoRR
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023 J jnl
CANE: A Cascade Control Approach for Network-Assisted Video QoE Management.
IEEE Trans. Control. Syst. Technol.
Mehdi Hosseinzadeh, Karthick Shankar, Maria Apostolaki, Jay Ramachandran, Steven Adams, Vyas Sekar, Bruno Sinopoli
2023 J jnl
CANE: A Cascade-Control Approach for Network-Assisted Video QoE Management.
CoRR
Mehdi Hosseinzadeh, Karthick Shankar, Maria Apostolaki, Jay Ramachandran, Steven Adams, Vyas Sekar, Bruno Sinopoli
2022 J jnl
Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
CoRR
Steven Adams, Morteza Lahijanian, Luca Laurenti
2022 J jnl
Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
IEEE Control. Syst. Lett.
Steven Adams, Morteza Lahijanian, Luca Laurenti
2021 J jnl
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm.
CoRR
Steven Adams, Daniel Jarne Ornia, Manuel Mazo Jr.
1998 — conf
The Design of the Client User Interface for a Meta Object-Oriented CASE Tool.
TOOLS (28)
Chris Phillips, Steven Adams, David Page, Daniela Mehandjiska