Sotabase
Home
Researchers
Career
·
Researcher, Algorithms for Computing and Education (ACE) Lab
,
UC Berkeley
2024–
·
Researcher
,
UC Berkeley ACE Lab
2023–
·
PhD Candidate
,
Stanford University
Publications
(2)
Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures
arXiv.org · 2025
2
cited
A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
2026
Sotabase
Samuel Akinwande | Researcher Profile | Sotabase | Sotabase