000021128 001__ 21128 000021128 005__ 20170119130224.0 000021128 04107 $$aeng 000021128 046__ $$k2014-09-22 000021128 100__ $$aGorbenko, Anna 000021128 24500 $$aThe problem of robot swarms control with only global signals 000021128 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014 000021128 260__ $$b 000021128 506__ $$arestricted 000021128 520__ $$2eng$$arobot swarm; autonomous mobile robot; PSPACE-complete; satisfiability problem; satisfiability algorithms 000021128 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb. 000021128 653__ $$a 000021128 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014 000021128 720__ $$aGorbenko, Anna$$iPopov, Vladimir 000021128 8560_ $$ffischerc@itam.cas.cz 000021128 8564_ $$s80465$$uhttp://invenio.itam.cas.cz/record/21128/files/850044_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 850044_1.pdf. 000021128 962__ $$r20333 000021128 980__ $$aPAPER