Login / Signup
A. I. Medina Ayala
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Path Planning
Belief Space
Collision Avoidance
Temporal Logic
Top Venues
ICRA
IROS
</>
Publications
</>
A. I. Medina Ayala
,
Sean B. Andersson
,
Calin Belta
Temporal logic motion planning in unknown environments.
IROS
(2013)
A. I. Medina Ayala
,
Sean B. Andersson
,
Calin Belta
Probabilistic control from time-bounded temporal logic specifications in dynamic environments.
ICRA
(2012)
A. I. Medina Ayala
,
Sean B. Andersson
,
Calin Belta
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.
IROS
(2011)