Login / Signup
Alexandros Tzikas
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Reachability Analysis
Theorem Prover
Action Selection
Top Venues
ICRA
</>
Publications
</>
Akshay Shetty
,
Adam Dai
,
Alexandros Tzikas
,
Grace Xingxin Gao
Safeguarding Learning-Based Planners Under Motion and Sensing Uncertainties Using Reachability Analysis.
ICRA
(2023)