Login / Signup
Ryan Hunter
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Dynamic Constraints
Verification Method
Temporal Logic
Semi Autonomous
Top Venues
ICRA
</>
Publications
</>
Alphan Ulusoy
,
Michael Marrazzo
,
Konstantinos Oikonomopoulos
,
Ryan Hunter
,
Calin Belta
Temporal logic control for an autonomous quadrotor in a nondeterministic environment.
ICRA
(2013)