Daniel Yamins Radhika Nagpal Automated global-to-local programming in 1-D spatial multi-agent systems. 615-622 2008 AAMAS (2) http://doi.acm.org/10.1145/1402298.1402310 conf/atal/2008-2 db/conf/atal/aamas2008-2.html#YaminsN08