Publications

Export 74 results:
Author [ Keyword(Desc)] Title Type Year
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 
hybrid controllers
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.
intelligent robots
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
Intelligent transportation systems
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
interleaved motion
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.
Linear Temporal Logic (LTL)
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.
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.
mobile robots
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
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.
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.
Navigation
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
Nonlinear dynamical systems
J. A. DeCastro, Raman, V., and Kress-Gazit, H., Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
open-world mission specification
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
Operating systems
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.
planning (artificial intelligence)
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
Process control
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.
reactive robots
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.

Pages