Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1798283, 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} }
TY - JOUR ID - 1798283 AU - Mrázek, Jan - Jonáš, Martin - Barnat, Jiří PY - 2021 TI - Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? PB - IEEE CY - Prague SN - 9781665417143 KW - robots reconfiguration N2 - We present a new approach to tackle the problem of lattice-type metamorphic robots reconfiguration. We base our approach on a reduction to satisfiability modulo theory (SMT). Unlike the current state-of-the-art solutions, we consider the spatial limitations of the modules themselves and produce collision-free plans. We give an in-depth description of the reduction and discuss several optimizations for our technique. We also show an experimental evaluation of our approach and list possible future improvements to our technique. ER -
MRÁZEK, Jan, Martin JONÁŠ and Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. Online. In \textit{2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)}. Prague: IEEE, 2021, p.~6935-6940. ISBN~978-1-6654-1714-3. Available from: https://dx.doi.org/10.1109/IROS51168.2021.9636534.
|