Export 2 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is D and Author is Hadas Kress-Gazit  [Clear All Filters]
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.
C. Finucane, Jing, G., and Kress-Gazit, H., Designing Reactive Robot Controllers with LTLMoP, in Automated Action Planning for Autonomous Mobile Robots, 2011.