Jan Mrázek, Martin Jonás, Jiri Barnat. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 6935-6940, IEEE, 2021. [doi]
Abstract is missing.