The Design of the Client User Interface for a Meta Object-Oriented CASE Tool. - Chris Phillips; Steven Adams; David Page; Daniela Mehandjiska (TOOLS (28), 1998)

Formal Control Synthesis for Stochastic Neural Network Dynamic Models. - Steven Adams; Morteza Lahijanian; Luca Laurenti (IEEE Control. Syst. Lett., 2022)

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. - Steven Adams; Andrea Patane; Morteza Lahijanian; Luca Laurenti (ICML, 2023)

A self-guided approach for navigation in a minimalistic foraging robotic swarm. - Steven Adams; Daniel Jarne Ornia; Manuel Mazo 002 (Auton. Robots, 2023)

CANE: A Cascade Control Approach for Network-Assisted Video QoE Management. - Mehdi Hosseinzadeh 002; Karthick Shankar; Maria Apostolaki; Jay Ramachandran; Steven Adams; Vyas Sekar; Bruno Sinopoli (IEEE Trans. Control. Syst. Technol., 2023)

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. - Steven Adams; Andrea Patanè; Morteza Lahijanian; Luca Laurenti (CoRR, 2024)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise. - Steven Adams; Eduardo Figueiredo 002; Luca Laurenti (CoRR, 2025)

Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance. - Eduardo Figueiredo 002; Steven Adams; Peyman Mohajerin Esfahani; Luca Laurenti (CoRR, 2025)