Sign in
Imoleayo Abel
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
Design Decisions
Clustering Algorithm
Real World
Safety Analysis
Top Venues
ACC
CoRR
</>
Publications
</>
Imoleayo Abel
,
Drew Steeves
,
Miroslav Krstic
,
Mrdjan Jankovic
Prescribed-Time Safety Design for a Chain of Integrators.
ACC
(2022)
Imoleayo Abel
,
Drew Steeves
,
Miroslav Krstic
Prescribed-Time Safety Design for a Chain of Integrators.
CoRR
(2022)
Azad Ghaffari
,
Imoleayo Abel
,
Daniel Ricketts
,
Sorin Lerner
,
Miroslav Krstic
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.
ACC
(2018)