Publications

Export 15 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is M  [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.
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.
J. Chen, Moarref, S., and Kress-Gazit, H., Verifiable Control of Robotic Swarm from High-level Specifications, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15, 2018, 2018.
2017
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.
2014
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.