@inproceedings{SMTReconfig,
author = {Mrázek, Jan and Jonáš, Martin and Barnat, Jiří},
address = {Prague},
booktitle = {2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
doi = {http://dx.doi.org/10.1109/IROS51168.2021.9636534},
keywords = {robots reconfiguration},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Prague},
isbn = {978-1-6654-1714-3},
pages = {6935-6940},
publisher = {IEEE},
title = {Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?},
year = {2021},
pdf = {{smtreconfig.pdf}}
}