Login / Signup
Kevin Leahy
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 39
Top Topics
Temporal Logic
Belief Space
Mazurkiewicz Traces
Autonomous Systems
Top Venues
CoRR
ACC
IEEE Robotics Autom. Lett.
CDC
</>
Publications
</>