Login / Signup
Benton Clark
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Provably Correct
Monotonicity Constraints
Formal Methods
Sensor Data
Top Venues
IEEE Control. Syst. Lett.
CoRR
IROS
</>
Publications
</>
Benton Clark
,
Hasan A. Poonawala
A Monotonicity Framework for Stability Verification of Planar Path-Following Controllers.
IEEE Control. Syst. Lett.
8 (2024)
Benton Clark
,
Varun Hariprasad
,
Hasan A. Poonawala
Provably Correct Sensor-Driven Path-Following for Unicycles Using Monotonic Score Functions.
IROS
(2023)
Benton Clark
,
Varun Hariprasad
,
Hasan A. Poonawala
Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions.
CoRR
(2023)