Login / Signup
Michael Marrazzo
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Dynamic Constraints
Air Traffic Control
Formal Specification
Temporal Logic
Top Venues
ICRA
Robotics: Science and Systems
</>
Publications
</>
Alphan Ulusoy
,
Michael Marrazzo
,
Konstantinos Oikonomopoulos
,
Ryan Hunter
,
Calin Belta
Temporal logic control for an autonomous quadrotor in a nondeterministic environment.
ICRA
(2013)
Alphan Ulusoy
,
Michael Marrazzo
,
Calin Belta
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications.
Robotics: Science and Systems
(2013)