Publications

Export 5 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name 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 
M
S. Moarref and Kress-Gazit, H., “Reactive Synthesis for Robotic Swarms”, Formal Modeling and Analysis of Timed Systems. Springer International Publishing, Beijing, China, p. 71--87, 2018.
S. Moarref and Kress-Gazit, H., “Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications”, in International Symposium on Multi-Robot and Multi-Agent Systems, Los Angeles, California, 2017.
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., “Robot Creation from Functional Specifications”, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
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.
S. Maniatopoulos, Schillinger, P., Pong, V., Conner, D. C., and Kress-Gazit, H., “Reactive high-level behavior synthesis for an Atlas humanoid robot”, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.