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