Publications

Export 13 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Keyword is M  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Mathematical model
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., SMT-Based Control and Feedback for Social Navigation, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
Metals
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
Monitoring
K. Weng Wong and Kress-Gazit, H., From High-Level Task Specification to Robot Operating System (ROS) Implementation, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
motion control
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
motion planning
M. R. Maly, Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., and Vardi, M. Y., Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.
multi-robot systems
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
multirobot controller synthesis
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.