Publications

Export 9 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is R  [Clear All Filters]
2018
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.
K. W. Wong, Ehlers, R., and Kress-Gazit, H., Resilient, Provably-Correct, and High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., Resource-Performance Tradeoff Analysis for Mobile Robots, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
2015
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.
2008
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.