Publications

Export 2 results:
[ Author(Asc)] Keyword Title Type Year
Filters: Author is Salar Moarref  [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., 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.
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.