Publications

Export 18 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Last Name is F  [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 
Abstracts
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.
correct-by-construction robot controllers
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.
Educational institutions
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.
Formal methods
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., “Provably Correct Reactive Control from Natural Language”, Auton. Robots, vol. 38, pp. 89–105, 2015.
High-level control
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., “Provably Correct Reactive Control from Natural Language”, Auton. Robots, vol. 38, pp. 89–105, 2015.
high-level mission specifications
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 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.
Natural language
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., “Provably Correct Reactive Control from Natural Language”, Auton. Robots, vol. 38, pp. 89–105, 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.
Planning
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.
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.
planning from high-level specifications
M. Lahijanian, Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H., and Vardi, M., “Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees”, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
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.
robot programming
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.
Robot sensing systems
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.
robotic courier
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.
Semantics
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.
Synthesis
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., “Provably Correct Reactive Control from Natural Language”, Auton. Robots, vol. 38, pp. 89–105, 2015.