text:
@article{DBLP:journals/micro/Johnson84,
  author    = {Barry W. Johnson},
  title     = {Fault-Tolerant Microprocessor-Based Systems},
  journal   = {{IEEE} Micro},
  volume    = {4},
  number    = {6},
  pages     = {6--21},
  year      = {1984},
  doi       = {10.1109/MM.1984.291277},
  timestamp = {Sat, 20 May 2017 00:26:06 +0200},
  biburl    = {https://dblp.org/rec/journals/micro/Johnson84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{DKbotDistr,
  author={M. {Park} and M. {Yim}},
  booktitle={2009 ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots},
  title={Distributed control and communication fault tolerance for the CKBot},
  year={2009},
  volume={},
  number={},
  pages={682-688}
}

@inproceedings{DBLP:conf/ieeealife/Christensen07,
  author    = {David Johan Christensen},
  title     = {Experiments on Fault-Tolerant self\-/Reconfiguration and Emergent self\-/Repair},
  booktitle = {First {IEEE} Symposium on Artificial Life},
  pages     = {355--361},
  publisher = {{IEEE}},
  year      = {2007},
  doi       = {10.1109/ALIFE.2007.367817},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/ieeealife/Christensen07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/romoco/VonasekONW15,
  author    = {Vojtech Vonasek and
               David Oertel and
               Sergej Neumann and
               Heinz W{\"{o}}rn},
  title     = {Failure recovery for modular robot movements without reassembling
               modules},
  booktitle = {10th International Workshop on Robot Motion and Control},
  pages     = {136--141},
  publisher = {{IEEE}},
  year      = {2015},
  doi       = {10.1109/RoMoCo.2015.7219725},
  timestamp = {Fri, 27 Mar 2020 08:49:33 +0100},
  biburl    = {https://dblp.org/rec/conf/romoco/VonasekONW15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{DMotionCoord,
  author={K. {Sugihara} and I. {Suzuki}},
  booktitle={Proceedings. 5th IEEE International Symposium on Intelligent Control 1990},
  title={Distributed motion coordination of multiple mobile robots},
  year={1990},
  volume={},
  number={},
  pages={138-143 vol.1},}

@inproceedings{DBLP:conf/osdi/CastroL99,
  author    = {Miguel Castro and
               Barbara Liskov},
  title     = {Practical Byzantine Fault Tolerance},
  booktitle = {Proceedings of the Third {USENIX} Symposium on Operating Systems Design
               and Implementation },
  pages     = {173--186},
  publisher = {{USENIX} Association},
  year      = {1999},
  url       = {https://dl.acm.org/citation.cfm?id=296824},
  timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl    = {https://dblp.org/rec/conf/osdi/CastroL99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/YimSSPDT07a,
  author    = {Mark Yim and
               Babak Shirmohammadi and
               Jimmy Sastra and
               Michael Park and
               Mike Dugan and
               Camillo J. Taylor},
  title     = {Towards robotic self\-/reassembly after explosion},
  booktitle = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {2767--2772},
  publisher = {{IEEE}},
  year      = {2007},
  doi       = {10.1109/IROS.2007.4399594},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/YimSSPDT07a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/ijrr/SastraCY09,
  author    = {Jimmy Sastra and
               Sachin Chitta and
               Mark Yim},
  title     = {Dynamic Rolling for a Modular Loop Robot},
  journal   = {International Journal of Robotics Reseseach},
  volume    = {28},
  number    = {6},
  pages     = {758--773},
  year      = {2009},
  doi       = {10.1177/0278364908099463},
  timestamp = {Thu, 18 May 2017 09:55:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijrr/SastraCY09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/SalemiSW01,
  author    = {Behnam Salemi and
               Wei Shen and
               Peter M. Will},
  title     = {Hormone-Controlled Metamorphic Robots},
  booktitle = {Proceedings of the 2001 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {4194--4199},
  publisher = {{IEEE}},
  year      = {2001},
  doi       = {10.1109/ROBOT.2001.933273},
  timestamp = {Mon, 22 May 2017 17:12:23 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/SalemiSW01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/trob/ShenSW02,
  author    = {Wei Shen and
               Behnam Salemi and
               Peter M. Will},
  title     = {Hormone-inspired adaptive communication and distributed control for
               {CONRO} self\-/reconfigurable robots},
  journal   = {{IEEE} Transactions on Robotics and Automation},
  volume    = {18},
  number    = {5},
  pages     = {700--712},
  year      = {2002},
  doi       = {10.1109/TRA.2002.804502},
  timestamp = {Tue, 19 May 2020 15:54:05 +0200},
  biburl    = {https://dblp.org/rec/journals/trob/ShenSW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1108-5543,
  author    = {Serge Kernbach and
               Oliver Scholz and
               Kanako Harada and
               Sergej Popesku and
               Jens Liedke and
               Raja Humza and
               Wenguo Liu and
               Fabio Caparrelli and
               Jaouhar Jemai and
               Jiri Havlik and
               Eugen Meister and
               Paul Levi},
  title     = {Multi-Robot Organisms: State of the Art},
  journal   = {CoRR},
  volume    = {abs/1108.5543},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.5543},
  archivePrefix = {arXiv},
  eprint    = {1108.5543},
  timestamp = {Mon, 13 Aug 2018 16:46:15 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1108-5543.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syscon/LeviMRKVSLC14,
  author    = {Paul Levi and
               Eugen Meister and
               Anne C. van Rossum and
               Tom{\'{a}}s Krajn{{\i}}k and
               Vojtech Von{\'{a}}sek and
               P. Stepan and
               W. Liu and
               Fabio Caparrelli},
  title     = {A cognitive architecture for modular and self\-/reconfigurable robots},
  booktitle = {{IEEE} International Systems Conference, SysCon 2014, Proceedings,
               Ottawa, ON, Canada, March 31 - April 3, 2014},
  pages     = {465--472},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://doi.org/10.1109/SysCon.2014.6819298},
  doi       = {10.1109/SysCon.2014.6819298},
  timestamp = {Fri, 27 Mar 2020 09:00:13 +0100},
  biburl    = {https://dblp.org/rec/conf/syscon/LeviMRKVSLC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/FukudaK90,
  author    = {Toshio Fukuda and
               Yoshio Kawauchi},
  title     = {Cellular robotic system {(CEBOT)} as one of the realization of self\-/organizing
               intelligent universal manipulator},
  booktitle = {1990 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {662--667},
  publisher = {{IEEE}},
  year      = {1990},
  doi       = {10.1109/ROBOT.1990.126059},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/FukudaK90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/TosunDJKCY18,
  author    = {Tarik Tosun and
               Jonathan Daudelin and
               Gangyuan Jing and
               Hadas Kress{-}Gazit and
               Mark E. Campbell and
               Mark Yim},
  title     = {Perception-Informed Autonomous Environment Augmentation with Modular
               Robots},
  booktitle = {2018 {IEEE} International Conference on Robotics and Automation},
  pages     = {6818--6824},
  publisher = {{IEEE}},
  year      = {2018},
  doi       = {10.1109/ICRA.2018.8463155},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/TosunDJKCY18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/arobots/JingTYK18,
  author    = {Gangyuan Jing and
               Tarik Tosun and
               Mark Yim and
               Hadas Kress{-}Gazit},
  title     = {Accomplishing high-level tasks with modular robots},
  journal   = {Autonomous Robots},
  volume    = {42},
  number    = {7},
  pages     = {1337--1354},
  year      = {2018},
  doi       = {10.1007/s10514-018-9738-1},
  timestamp = {Sat, 11 Aug 2018 00:57:18 +0200},
  biburl    = {https://dblp.org/rec/journals/arobots/JingTYK18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/MurataKK94,
  author    = {Satoshi Murata and
               Haruhisa Kurokawa and
               Shigeru Kokaji},
  title     = {self\-/Assembling Machine},
  booktitle = {Proceedings of the 1994 International Conference on Robotics and Automation},
  pages     = {441--448},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  doi       = {10.1109/ROBOT.1994.351257},
  timestamp = {Mon, 22 May 2017 17:12:26 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/MurataKK94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/KotayRVM98,
  author    = {Keith Kotay and
               Daniela Rus and
               Marsette Vona and
               Craig D. McGray},
  title     = {The self\-/Reconfiguring Robotic Molecule},
  booktitle = {Proceedings of the {IEEE} International Conference on Robotics and
               Automation},
  pages     = {424--431},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  doi       = {10.1109/ROBOT.1998.676452},
  timestamp = {Mon, 22 May 2017 17:11:59 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/KotayRVM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/YimDR00,
  author    = {Mark Yim and
               David Duff and
               Kimon Roufas},
  title     = {PolyBot: {A} Modular Reconfigurable Robot},
  booktitle = {Proceedings of the 2000 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {514--520},
  publisher = {{IEEE}},
  year      = {2000},
  doi       = {10.1109/ROBOT.2000.844106},
  timestamp = {Mon, 22 May 2017 17:11:58 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/YimDR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icarcv/KurokawaKYTMK02,
  author    = {Haruhisa Kurokawa and
               Akiya Kamimura and
               Eiichi Yoshida and
               Kohji Tomita and
               Satoshi Murata and
               Shigeru Kokaji},
  title     = {self\-/reconfigurable modular robot {(M-TRAN)} and its motion design},
  booktitle = {Seventh International Conference on Control, Automation, Robotics
               and Vision},
  pages     = {51--56},
  publisher = {{IEEE}},
  year      = {2002},
  doi       = {10.1109/ICARCV.2002.1234789},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/icarcv/KurokawaKYTMK02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/JorgensenOL04,
  author    = {Morten Winkler J{\o}rgensen and
               Esben Hallundb{\ae}k {\O}stergaard and
               Henrik Hautop Lund},
  title     = {Modular {ATRON:} modules for a self\-/reconfigurable robot},
  booktitle = {2004 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {2068--2073},
  publisher = {{IEEE}},
  year      = {2004},
  doi       = {10.1109/IROS.2004.1389702},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/JorgensenOL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/SalemiMS06,
  author    = {Behnam Salemi and
               Mark Moll and
               Wei Shen},
  title     = {{SUPERBOT:} {A} Deployable, Multi-Functional, and Modular self\-/Reconfigurable
               Robotic System},
  booktitle = {2006 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {3636--3641},
  publisher = {{IEEE}},
  year      = {2006},
  doi       = {10.1109/IROS.2006.281719},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/SalemiMS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trob/ZykovMDL07,
  author    = {Viktor Zykov and
               Efstathios Mytilinaios and
               Mark Desnoyer and
               Hod Lipson},
  title     = {Evolved and Designed self\-/Reproducing Modular Robotics},
  journal   = {{IEEE} Transansactions on Robotics},
  volume    = {23},
  number    = {2},
  pages     = {308--319},
  year      = {2007},
  doi       = {10.1109/TRO.2007.894685},
  timestamp = {Sat, 20 May 2017 00:25:25 +0200},
  biburl    = {https://dblp.org/rec/journals/trob/ZykovMDL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/SprowitzBDI09,
  author    = {Alexander Spr{\"{o}}witz and
               Aude Billard and
               Pierre Dillenbourg and
               Auke Jan Ijspeert},
  title     = {Roombots-mechanical design of self\-/reconfiguring modular robots for
               adaptive furniture},
  booktitle = {2009 {IEEE} International Conference on Robotics and Automation},
  pages     = {4259--4264},
  publisher = {{IEEE}},
  year      = {2009},
  doi       = {10.1109/ROBOT.2009.5152613},
  timestamp = {Fri, 02 Nov 2018 09:45:14 +0100},
  biburl    = {https://dblp.org/rec/conf/icra/SprowitzBDI09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1109-2288,
  author    = {Serge Kernbach and
               Florian Schlachter and
               Raja Humza and
               Jens Liedke and
               Sergej Popesku and
               Sheila Russo and
               Tommaso Ranzani and
               Luigi Manfredi and
               Cesare Stefanini and
               Rene Matthias and
               Christopher S. F. Schwarzer and
               Benjamin Girault and
               P. Alschbach and
               Eugen Meister and
               Oliver Scholz},
  title     = {Heterogeneity for Increasing Performance and Reliability of self\-/Reconfigurable
               Multi-Robot Organisms},
  journal   = {CoRR},
  volume    = {abs/1109.2288},
  year      = {2011},
  url       = {http://arxiv.org/abs/1109.2288},
  archivePrefix = {arXiv},
  eprint    = {1109.2288},
  timestamp = {Mon, 13 Aug 2018 16:49:11 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1109-2288.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/DaveyKY12,
  author    = {Jay Davey and
               Ngai Kwok and
               Mark Yim},
  title     = {Emulating self\-/reconfigurable robots -- design of the {SMORES} system},
  booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {4464--4469},
  publisher = {{IEEE}},
  year      = {2012},
  doi       = {10.1109/IROS.2012.6385845},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/DaveyKY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/RomanishinGR13,
  author    = {John Romanishin and
               Kyle Gilpin and
               Daniela Rus},
  title     = {M-blocks: Momentum-driven, magnetic modular robots},
  booktitle = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {4288--4295},
  publisher = {{IEEE}},
  year      = {2013},
  doi       = {10.1109/IROS.2013.6696971},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/RomanishinGR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/BacaHDND14,
  author    = {Jos{\'{e}} Baca and
               S. G. M. Hossain and
               Prithviraj Dasgupta and
               Carl A. Nelson and
               Ayan Dutta},
  title     = {ModRED: Hardware design and reconfiguration planning for a high dexterity
               modular self\-/reconfigurable robot for extra-terrestrial exploration},
  journal   = {Robotics Autonomous Systems},
  volume    = {62},
  number    = {7},
  pages     = {1002--1015},
  year      = {2014},
  doi       = {10.1016/j.robot.2013.08.008},
  timestamp = {Mon, 24 Feb 2020 15:57:17 +0100},
  biburl    = {https://dblp.org/rec/journals/ras/BacaHDND14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/taros/PeckTT19,
  author    = {Robert H. Peck and
               Jon Timmis and
               Andy M. Tyrrell},
  title     = {Omni-Pi-tent: An Omnidirectional Modular Robot With Genderless Docking},
  booktitle = {Towards Autonomous Robotic Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {11650},
  pages     = {307--318},
  publisher = {Springer},
  year      = {2019},
  doi       = {10.1007/978-3-030-25332-5\_27},
  timestamp = {Thu, 08 Aug 2019 11:07:52 +0200},
  biburl    = {https://dblp.org/rec/conf/taros/PeckTT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dars/ParrottDG16,
  author    = {Christopher Parrott and
               Tony J. Dodd and
               Roderich Gro{\ss}},
  title     = {HyMod: {A} 3-DOF Hybrid Mobile and self\-/Reconfigurable Modular Robot
               and its Extensions},
  booktitle = {Distributed Autonomous Robotic Systems},
  series    = {Springer Proceedings in Advanced Robotics},
  volume    = {6},
  pages     = {401--414},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-73008-0\_28},
  timestamp = {Tue, 24 Jul 2018 11:19:20 +0200},
  biburl    = {https://dblp.org/rec/conf/dars/ParrottDG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{1285597,
  author={E. {Yoshida} and S. {Murata} and A. {Kamimura} and K. {Tomita} and H. {Kurokawa} and S. {Kokaji}},
  booktitle={IEEE International Conference on Robotics, Intelligent Systems and Signal Processing},
  title={self\-/reconfigurable modular robots -- hardware and software development in AIST},
  year={2003},
  volume={1},
  number={},
  pages={339-346}
  }

@inproceedings{DBLP:conf/ro-man/Salem14,
  author    = {Ben Salem},
  title     = {PetRo: Development of a modular pet robot},
  booktitle = {The 23rd {IEEE} International Symposium on Robot and Human Interactive
               Communication},
  pages     = {483--488},
  publisher = {{IEEE}},
  year      = {2014},
  doi       = {10.1109/ROMAN.2014.6926299},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/ro-man/Salem14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@ARTICLE{4141032,
  author={M. {Yim} and W. {Shen} and B. {Salemi} and D. {Rus} and M. {Moll} and H. {Lipson} and E. {Klavins} and G. S. {Chirikjian}},
  journal={IEEE Robotics   Automation Magazine},
  title={Modular self\-/Reconfigurable Robot Systems [Grand Challenges of Robotics]},
  year={2007},
  volume={14},
  number={1},
  pages={43-52},}

@article{DBLP:journals/ijrr/KurokawaTKKHM08,
  author    = {Haruhisa Kurokawa and
               Kohji Tomita and
               Akiya Kamimura and
               Shigeru Kokaji and
               Takashi Hasuo and
               Satoshi Murata},
  title     = {Distributed self\-/Reconfiguration of {M-TRAN} {III} Modular Robotic
               System},
  journal   = {International Journal of Robotics Research},
  volume    = {27},
  number    = {3-4},
  pages     = {373--386},
  year      = {2008},
  doi       = {10.1177/0278364907085560},
  timestamp = {Wed, 14 Jun 2017 20:39:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijrr/KurokawaTKKHM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ral/LiuWY19,
  author    = {Chao Liu and
               Michael Whitzer and
               Mark Yim},
  title     = {A Distributed Reconfiguration Planning Algorithm for Modular Robots},
  journal   = {{IEEE} Robotics Automation Letters},
  volume    = {4},
  number    = {4},
  pages     = {4231--4238},
  year      = {2019},
  doi       = {10.1109/LRA.2019.2930432},
  timestamp = {Thu, 02 Apr 2020 08:35:47 +0200},
  biburl    = {https://dblp.org/rec/journals/ral/LiuWY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{locklin_2020, title={Open problems in Robotics}, url={https://scottlocklin.wordpress.com/2020/07/29/open-problems-in-robotics/}, journal={Locklin on science}, author={Locklin, Scott}, year={2020}, month={Jul}}

@inproceedings{DBLP:conf/iros/FinucaneJK10,
  author    = {Cameron Finucane and
               Gangyuan Jing and
               Hadas Kress{-}Gazit},
  title     = {LTLMoP: Experimenting with language, Temporal Logic and robot control},
  booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {1988--1993},
  publisher = {{IEEE}},
  year      = {2010},
  doi       = {10.1109/IROS.2010.5650371},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/FinucaneJK10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/JingTYK17,
  author    = {Gangyuan Jing and
               Tarik Tosun and
               Mark Yim and
               Hadas Kress{-}Gazit},
  title     = {An End-to-End System for Accomplishing Tasks with Modular Robots:
               Perspectives for the {AI} community},
  booktitle = {International Joint Conference on
               Artificial Intelligence},
  pages     = {4879--4883},
  publisher = {ijcai.org},
  year      = {2017},
  doi       = {10.24963/ijcai.2017/686},
  timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/JingTYK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trob/Kress-GazitFP09,
  author    = {Hadas Kress-Gazit and
               Georgios Fainekos and
               George Pappas},
  title     = {Temporal-Logic-Based Reactive Mission and Motion Planning},
  journal   = {{IEEE} Transansactions on Robotics},
  volume    = {25},
  number    = {6},
  pages     = {1370--1381},
  year      = {2009},
  doi       = {10.1109/TRO.2009.2030225},
  timestamp = {Wed, 14 Nov 2018 10:14:23 +0100},
  biburl    = {https://dblp.org/rec/journals/trob/Kress-GazitFP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scirobotics/JingTYKC18,
  author    = {Gangyuan Jing and
               Tarik Tosun and
               Mark Yim and
               Hadas Kress{-}Gazit and
               Mark E. Campbell},
  title     = {An integrated system for perception-driven autonomy with modular robots},
  journal   = {Science of Robotics},
  volume    = {3},
  number    = {23},
  year      = {2018},
  doi       = {10.1126/scirobotics.aat4983},
  timestamp = {Tue, 16 Jun 2020 17:14:15 +0200},
  biburl    = {https://dblp.org/rec/journals/scirobotics/JingTYKC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/VonasekSKP13,
  author    = {Vojtech Vonasek and
               Martin Saska and
               Karel Kosnar and
               Libor Preucil},
  title     = {Global motion planning for modular robots with local motion primitives},
  booktitle = {2013 {IEEE} International Conference on Robotics and Automation},
  pages     = {2465--2470},
  publisher = {{IEEE}},
  year      = {2013},
  doi       = {10.1109/ICRA.2013.6630912},
  timestamp = {Fri, 27 Mar 2020 08:57:09 +0100},
  biburl    = {https://dblp.org/rec/conf/icra/VonasekSKP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/taros/VonasekKP12,
  author    = {Vojtech Vonasek and
               Karel Kosnar and
               Libor Preucil},
  title     = {Motion Planning of self\-/reconfigurable Modular Robots Using Rapidly
               Exploring Random Trees},
  booktitle = {Advances in Autonomous Robotics },
  series    = {Lecture Notes in Computer Science},
  volume    = {7429},
  pages     = {279--290},
  publisher = {Springer},
  year      = {2012},
  doi       = {10.1007/978-3-642-32527-4\_25},
  timestamp = {Fri, 27 Mar 2020 08:49:44 +0100},
  biburl    = {https://dblp.org/rec/conf/taros/VonasekKP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/CastroKK11,
  author    = {Sebastian Castro and
               Sarah Muraoka Koehler and
               Hadas Kress{-}Gazit},
  title     = {High-level control of modular robots},
  booktitle = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {3120--3125},
  publisher = {{IEEE}},
  year      = {2011},
  doi       = {10.1109/IROS.2011.6094955},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/CastroKK11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rss/PetersenNW11,
  author    = {Kirstin Petersen and
               Radhika Nagpal and
               Justin Werfel},

  title     = {{TERMES:} An Autonomous Robotic System for Three-Dimensional Collective
               Construction},
  booktitle = {Robotics: Science and Systems VII},
  year      = {2011},
  doi       = {10.15607/RSS.2011.VII.035},
  timestamp = {Wed, 26 Jun 2019 18:00:01 +0200},
  biburl    = {https://dblp.org/rec/conf/rss/PetersenNW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfr/ChirikjianPE96,
  author    = {Gregory S. Chirikjian and
               Amit Pamecha and
               Imme Ebert{-}Uphoff},
  title     = {Evaluating efficiency of self\-/reconfiguration in a class of modular
               robots},
  journal   = {Journal of Field Robotics},
  volume    = {13},
  number    = {5},
  pages     = {317--338},
  year      = {1996},
  timestamp = {Sun, 28 May 2017 13:20:47 +0200},
  biburl    = {https://dblp.org/rec/journals/jfr/ChirikjianPE96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/monterey/BaarirHKR10,
  author    = {Souheib Baarir and
               Lom{-}Messan Hillah and
               Fabrice Kordon and
               Etienne Renault},
  title     = {Self\-/reconfigurable Modular Robots and Their Symbolic Configuration
               Space},
  booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
               of Adaptive Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {6662},
  pages     = {103--121},
  publisher = {Springer},
  year      = {2010},
  doi       = {10.1007/978-3-642-21292-5\_6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/monterey/BaarirHKR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/AsadpourASI09,
  author    = {Masoud Asadpour and
               Mohammad Hassan Zokaei Ashtiani and
               Alexander Spr{\"{o}}witz and
               Auke Jan Ijspeert},
  title     = {Graph signature for self\-/reconfiguration planning of modules with
               symmetry},
  booktitle = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {5295--5300},
  publisher = {{IEEE}},
  year      = {2009},
  doi       = {10.1109/IROS.2009.5353943},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/AsadpourASI09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/TaheriMAP16,
  author    = {Khalil Taheri and
               Hadi Moradi and
               Masoud Asadpour and
               Parisa Parhami},
  title     = {{MVGS:} {A} new graph signature for self\-/reconfiguration planning
               of modular robots based on Multiple Views Theory},
  journal   = {Robotics Autonomous Systems},
  volume    = {79},
  pages     = {72--86},
  year      = {2016},
  doi       = {10.1016/j.robot.2016.01.012},
  timestamp = {Mon, 24 Feb 2020 15:57:57 +0100},
  biburl    = {https://dblp.org/rec/journals/ras/TaheriMAP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/HouS14,
  author    = {Feili Hou and
      Wei{-}Min Shen},
  title     = {Graph-based optimal reconfiguration planning for self\-/reconfigurable
      robots},
  journal   = {Robotics and Autonomous Systems},
  volume    = {62},
  number    = {7},
  optpages     = {1047--1059},
  year      = {2014},
  tdoi       = {10.1016/j.robot.2013.06.014},
  timestamp = {Sat, 20 May 2017 00:22:39 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ras/HouS14},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  comment   = {Proof of NP-completnes}
}

@article{DBLP:journals/pcs/GorbenkoP12,
  author    = {Anna A. Gorbenko and
               Vladimir Yu. Popov},
  title     = {Programming for modular reconfigurable robots},
  journal   = {Programming and Computer Software},
  volume    = {38},
  number    = {1},
  optpages     = {13--23},
  year      = {2012},
  doi       = {10.1134/S0361768812010033},
  timestamp = {Sat, 16 Sep 2017 12:04:03 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/GorbenkoP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{10.1117/12.360345,
  author = {Arancha Casal and Mark H. Yim},
  title = {{self\-/reconfiguration planning for a class of modular robots}},
  volume = {3839},
  booktitle = {Sensor Fusion and Decentralized Control in Robotic Systems II},
  opteditor = {Gerard T. McKee and Paul S. Schenker},
  organization = {International Society for Optics and Photonics},
  publisher = {SPIE},
  optpages = {246 -- 257},
  year = {1999},
  optdoi = {10.1117/12.360345},
  URL = {https://doi.org/10.1117/12.360345},
}

@inproceedings{DBLP:conf/icra/HouS08,
  author    = {Feili Hou and
               Wei{-}Min Shen},
  title     = {Distributed, dynamic, and autonomous reconfiguration planning for
               chain-type self\-/reconfigurable robots},
  booktitle = {2008 {IEEE} International Conference on Robotics and Automation},
  pages     = {3135--3140},
  publisher = {{IEEE}},
  year      = {2008},
  doi       = {10.1109/ROBOT.2008.4543688},
  timestamp = {Mon, 22 May 2017 17:12:23 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/HouS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijrr/ParkCTY08,
  author    = {Michael Park and
               Sachin Chitta and
               Alex Teichman and
               Mark Yim},
  title     = {Automatic Configuration Recognition Methods in Modular Robots},
  journal   = {Iternation Journal of Robotics Research},
  volume    = {27},
  number    = {3-4},
  pages     = {403--421},
  year      = {2008},
  doi       = {10.1177/0278364907089350},
  timestamp = {Thu, 18 May 2017 09:55:01 +0200},
  biburl    = {https://dblp.org/rec/journals/ijrr/ParkCTY08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/ButlerBR01,
  author    = {Zack J. Butler and
               Sean Byrnes and
               Daniela Rus},
  title     = {Distributed motion planning for modular robots with unit-compressible
               modules},
  booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
              2001},
  pages     = {790--796},
  publisher = {{IEEE}},
  year      = {2001},
  doi       = {10.1109/IROS.2001.976265},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/ButlerBR01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wafr/ButlerR02,
  author    = {Zack J. Butler and
               Daniela Rus},
  title     = {Distributed Motion Planning for 3D Modular Robots with Unit-Compressible
               Modules},
  booktitle = {Algorithmic Foundations of Robotics V},
  series    = {Springer Tracts in Advanced Robotics},
  volume    = {7},
  pages     = {435--452},
  publisher = {Springer},
  year      = {2002},
  doi       = {10.1007/978-3-540-45058-0\_26},
  timestamp = {Fri, 19 May 2017 01:26:04 +0200},
  biburl    = {https://dblp.org/rec/conf/wafr/ButlerR02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dc/WalterWA00,
  author    = {Jennifer E. Walter and
               Jennifer L. Welch and
               Nancy M. Amato},
  title     = {Distributed reconfiguration of metamorphic robot chains},
  journal   = {Distributed Computing},
  volume    = {17},
  number    = {2},
  pages     = {171--189},
  year      = {2000},
  doi       = {10.1007/s00446-003-0103-y},
  timestamp = {Fri, 13 Mar 2020 14:37:32 +0100},
  biburl    = {https://dblp.org/rec/journals/dc/WalterWA00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/VassilvitskiiYS02,
  author    = {Sergei Vassilvitskii and
               Mark Yim and
               John W. Suh},
  title     = {A Complete, Local and Parallel Reconfiguration Algorithm for Cube
               Style Modular Robots},
  booktitle = {Proceedings of the 2002 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {117--122},
  publisher = {{IEEE}},
  year      = {2002},
  doi       = {10.1109/ROBOT.2002.1013348},
  timestamp = {Mon, 22 May 2017 17:12:03 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/VassilvitskiiYS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/comgeo/AloupisBDDFIW13,
  author    = {Greg Aloupis and
               Nadia M. Benbernou and
               Mirela Damian and
               Erik D. Demaine and
               Robin Y. Flatland and
               John Iacono and
               Stefanie Wuhrer},
  title     = {Efficient reconfiguration of lattice-based modular robots},
  journal   = {Computational Geometry},
  volume    = {46},
  number    = {8},
  pages     = {917--928},
  year      = {2013},
  doi       = {10.1016/j.comgeo.2013.03.004},
  timestamp = {Mon, 15 Jun 2020 13:19:39 +0200},
  biburl    = {https://dblp.org/rec/journals/comgeo/AloupisBDDFIW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/HauserMLKBI20,
  author    = {Simon Hauser and
               Mehmet Mutlu and
               Pierre{-}Alexandre Leziart and
               Hala Khodr and
               Alexandre Bernardino and
               Auke Jan Ijspeert},
  title     = {Roombots extended: Challenges in the next generation of self\-/reconfigurable
               modular robots and their application in adaptive and assistive furniture},
  journal   = {Robotics Autonomous Systems},
  volume    = {127},
  pages     = {103467},
  year      = {2020},
  doi       = {10.1016/j.robot.2020.103467},
  timestamp = {Mon, 15 Jun 2020 16:55:10 +0200},
  biburl    = {https://dblp.org/rec/journals/ras/HauserMLKBI20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/RomanishinMR19,
  author    = {John W. Romanishin and
               John Mamish and
               Daniela Rus},
  title     = {Decentralized Control for 3D M-Blocks for Path Following, Line Formation,
               and Light Gradient Aggregation},
  booktitle = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {4862--4868},
  publisher = {{IEEE}},
  year      = {2019},
  doi       = {10.1109/IROS40897.2019.8967810},
  timestamp = {Fri, 31 Jan 2020 13:28:16 +0100},
  biburl    = {https://dblp.org/rec/conf/iros/RomanishinMR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ieeealife/Christensen07,
  author    = {David Johan Christensen},
  title     = {Experiments on Fault-Tolerant self\-/Reconfiguration and Emergent self\-/Repair},
  booktitle = {First {IEEE} Symposium on Artificial Life, {ALIFE} 2007, Honolulu,
               Hawaii, USA, April 1-5, 2007},
  pages     = {355--361},
  publisher = {{IEEE}},
  year      = {2007},
  url       = {https://doi.org/10.1109/ALIFE.2007.367817},
  doi       = {10.1109/ALIFE.2007.367817},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/ieeealife/Christensen07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/WhiteKL04,
  author    = {Paul White and
               K. Kopanski and
               Hod Lipson},
  title     = {Stochastic self\-/reconfigurable Cellular Robotics},
  booktitle = {Proceedings of the 2004 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {2888--2893},
  publisher = {{IEEE}},
  year      = {2004},
  doi       = {10.1109/ROBOT.2004.1307499},
  timestamp = {Mon, 22 May 2017 17:12:01 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/WhiteKL04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/KirbyCAPHMG05,
  author    = {Brian T. Kirby and
               Jason Campbell and
               Burak Aksak and
               Padmanabhan Pillai and
               James F. Hoburg and
               Todd C. Mowry and
               Seth Copen Goldstein},
  title     = {Catoms: Moving Robots Without Moving Parts},
  booktitle = {National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference},
  pages     = {1730--1731},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2005},
  url       = {http://www.aaai.org/Library/AAAI/2005/rbc05-008.php},
  timestamp = {Mon, 10 Dec 2012 15:34:43 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/KirbyCAPHMG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ral/KhodrMHBI19,
  author    = {Hala Khodr and
               Mehmet Mutlu and
               Simon Hauser and
               Alexandre Bernardino and
               Auke Jan Ijspeert},
  title     = {An Optimal Planning Framework to Deploy self\-/Reconfigurable Modular
               Robots},
  journal   = {{IEEE} Robotics Automation Letters},
  volume    = {4},
  number    = {4},
  pages     = {4278--4285},
  year      = {2019},
  doi       = {10.1109/LRA.2019.2931216},
  timestamp = {Thu, 02 Apr 2020 08:35:43 +0200},
  biburl    = {https://dblp.org/rec/journals/ral/KhodrMHBI19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jr/SuzukiIKK11,
  author    = {Yosuke Suzuki and
               Norio Inou and
               Hitoshi Kimura and
               Michihiko Koseki},
  title     = {self\-/Reconfigurable Modular Robots Adaptively Transforming a Mechanical
               Structure: Algorithm for Adaptive Transformation to Load Condition},
  journal   = {Journal of Robotics},
  volume    = {2011},
  pages     = {794251:1--794251:13},
  year      = {2011},
  doi       = {10.1155/2011/794251},
  timestamp = {Sat, 24 Nov 2018 11:59:16 +0100},
  biburl    = {https://dblp.org/rec/journals/jr/SuzukiIKK11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pdp/PirandaB16,
  author    = {Beno{\^{\i}}t Piranda and
               Julien Bourgeois},
  title     = {A Distributed Algorithm for Reconfiguration of Lattice-Based Modular
               self\-/Reconfigurable Robots},
  booktitle = {24th Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing,},
  pages     = {1--9},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  doi       = {10.1109/PDP.2016.40},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/pdp/PirandaB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{1285597,
  author={E. {Yoshida} and S. {Murata} and A. {Kamimura} and K. {Tomita} and H. {Kurokawa} and S. {Kokaji}},
  booktitle={IEEE International Conference on Robotics, Intelligent Systems and Signal Processing, 2003. Proceedings. 2003},
  title={self\-/reconfigurable modular robots -hardware and software development in AIST},
  year={2003},
  volume={1},
  number={},
  pages={339-346 vol.1},}

@inproceedings{DBLP:conf/eh/BennettR00,
  author    = {Forrest Bennett and
               Eleanor Rieffel},
  title     = {Design of Decentralized Controllers for self\-/Reconfigurable Modular
               Robots Using Genetic Programming},
  booktitle = {2nd {NASA} / DoD Workshop on Evolvable Hardware {(EH} 2000)},
  pages     = {43--54},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  doi       = {10.1109/EH.2000.869341},
  timestamp = {Thu, 09 Jan 2020 16:23:53 +0100},
  biburl    = {https://dblp.org/rec/conf/eh/BennettR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/ButlerFRW02,
  author    = {Zack J. Butler and
               Robert Fitch and
               Daniela Rus and
               Yuhang Wang},
  title     = {Distributed Goal Recognition Algorithms for Modular Robots},
  booktitle = {{IEEE} International Conference on Robotics
               and Automation 2002},
  pages     = {110--116},
  publisher = {{IEEE}},
  year      = {2002},
  doi       = {10.1109/ROBOT.2002.1013347},
  timestamp = {Mon, 22 May 2017 17:12:20 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/ButlerFRW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/Brandt06,
  author    = {David Brandt},
  title     = {Comparison of {A}* and RRT-Connect Motion Planning Techniques for self\-/Reconfiguration
               Planning},
  booktitle = {2006 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {892--897},
  publisher = {{IEEE}},
  year      = {2006},
  doi       = {10.1109/IROS.2006.281743},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/Brandt06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/procedia/PouyaAMI11,
  author    = {Soha Pouya and
               Ebru Aydin Gol and
               Rico M{\"{o}}ckel and
               Auke Jan Ijspeert},
  title     = {Locomotion Gait Optimization For Modular Robots; Coevolving Morphology
               and Control},
  booktitle = {Proceedings of the 2nd European Future Technologies Conference and
               Exhibition},
  series    = {Procedia Computer Science},
  volume    = {7},
  pages     = {320--322},
  publisher = {Elsevier},
  year      = {2011},
  doi       = {10.1016/j.procs.2011.09.084},
  timestamp = {Fri, 30 Nov 2018 13:25:50 +0100},
  biburl    = {https://dblp.org/rec/journals/procedia/PouyaAMI11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@masterthesis{aydn_2010,
  title={Co-evolution of Morphology and Control for Roombots},
  author={Aydin, Ebru},
  year={2010},
  url={https://www.epfl.ch/labs/biorob/wp-content/uploads/2019/02/ebruaydin_master_thesis.pdf}
}

@inproceedings{DBLP:conf/iros/DuttaDN17,
  author    = {Ayan Dutta and
               Prithviraj Dasgupta and
               Carl A. Nelson},
  title     = {Adaptive locomotion learning in modular self\-/reconfigurable robots:
               {A} game theoretic approach},
  booktitle = {2017 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {3556--3561},
  publisher = {{IEEE}},
  year      = {2017},
  doi       = {10.1109/IROS.2017.8206200},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/DuttaDN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/BacaWDN17,
  author    = {Jos{\'{e}} Baca and
               Bradley Woosley and
               Prithviraj Dasgupta and
               Carl A. Nelson},
  title     = {Configuration discovery of modular self\-/reconfigurable robots: Real-time,
               distributed, IR+XBee communication method},
  journal   = {Robotics Autonomous Systems},
  volume    = {91},
  pages     = {284--298},
  year      = {2017},
  doi       = {10.1016/j.robot.2017.01.012},
  timestamp = {Mon, 24 Feb 2020 15:57:55 +0100},
  biburl    = {https://dblp.org/rec/journals/ras/BacaWDN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/YoshidaMKTKK01,
  author    = {Eiichi Yoshida and
               Satoshi Murata and
               Akiya Kamimura and
               Kohji Tomita and
               Haruhisa Kurokawa and
               Shigeru Kokaji},
  title     = {A motion planning method for a self\-/reconfigurable modular robot},
  booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and System},
  pages     = {590--597},
  publisher = {{IEEE}},
  year      = {2001},
  doi       = {10.1109/IROS.2001.973420},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/YoshidaMKTKK01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ras/ChristensenSS13,
  author    = {David Johan Christensen and
               Ulrik Pagh Schultz and
               Kasper St{\o}y},
  title     = {A distributed and morphology\-/independent strategy for adaptive locomotion
               in self\-/reconfigurable modular robots},
  journal   = {Robotics Autonomous Systems},
  volume    = {61},
  number    = {9},
  pages     = {1021--1035},
  year      = {2013},
  doi       = {10.1016/j.robot.2013.05.009},
  timestamp = {Fri, 27 Mar 2020 08:39:40 +0100},
  biburl    = {https://dblp.org/rec/journals/ras/ChristensenSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/RomanishinGCR15,
  author    = {John W. Romanishin and
               Kyle Gilpin and
               Sebastian Claici and
               Daniela Rus},
  title     = {3D M-Blocks: self\-/reconfiguring robots capable of locomotion via pivoting
               in three dimensions},
  booktitle = {{IEEE} International Conference on Robotics and Automation},
  pages     = {1925--1932},
  publisher = {{IEEE}},
  year      = {2015},
  doi       = {10.1109/ICRA.2015.7139450},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/RomanishinGCR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/robotik/BonardiMSVI12,
  author    = {St{\'{e}}phane Bonardi and
               Rico Moeckel and
               Alexander Sproewitz and
               Massimo Vespignani and
               Auke Jan Ijspeert},
  title     = {Locomotion through Reconfiguration based on Motor Primitives for Roombots
               self\-/Reconfigurable Modular Robots},
  booktitle = {{ROBOTIK} 2012},
  publisher = {VDE-Verlag},
  year      = {2012},
  timestamp = {Thu, 05 Jul 2018 07:43:35 +0200},
  biburl    = {https://dblp.org/rec/conf/robotik/BonardiMSVI12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dars/YoshidaKKMTK04,
  author    = {Eiichi Yoshida and
               Haruhisa Kurokawa and
               Akiya Kamimura and
               Satoshi Murata and
               Kohji Tomita and
               Shigeru Kokaji},
  title     = {Planning Behaviors of Modular Robots with Coherent Structure using
               Randomized Method},
  booktitle = {Distributed Autonomous Robotic System},
  pages     = {149--158},
  publisher = {Springer},
  year      = {2004},
  doi       = {10.1007/978-4-431-35873-2\_15},
  timestamp = {Mon, 16 Sep 2019 15:29:38 +0200},
  biburl    = {https://dblp.org/rec/conf/dars/YoshidaKKMTK04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isrr/TosunJKY15,
  author    = {Tarik Tosun and
               Gangyuan Jing and
               Hadas Kress{-}Gazit and
               Mark Yim},
  title     = {Computer-Aided Compositional Design and Verification for Modular Robots},
  booktitle = {Robotics Research},
  series    = {Springer Proceedings in Advanced Robotics},
  volume    = {2},
  pages     = {237--252},
  publisher = {Springer},
  year      = {2015},
  doi       = {10.1007/978-3-319-51532-8\_15},
  timestamp = {Mon, 11 Dec 2017 19:15:27 +0100},
  biburl    = {https://dblp.org/rec/conf/isrr/TosunJKY15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/KamimuraMYKTK01,
  author    = {Akiya Kamimura and
               Satoshi Murata and
               Eiichi Yoshida and
               Haruhisa Kurokawa and
               Kohji Tomita and
               Shigeru Kokaji},
  title     = {self\-/reconfigurable modular robot -- experiments on reconfiguration
               and locomotion},
  booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems},
  pages     = {606--612},
  publisher = {{IEEE}},
  year      = {2001},
  doi       = {10.1109/IROS.2001.973422},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/KamimuraMYKTK01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijrr/KurokawaTKKHM08,
  author    = {Haruhisa Kurokawa and
               Kohji Tomita and
               Akiya Kamimura and
               Shigeru Kokaji and
               Takashi Hasuo and
               Satoshi Murata},
  title     = {Distributed self\-/Reconfiguration of {M-TRAN} {III} Modular Robotic
               System},
  journal   = {I. J. Robotics Res.},
  volume    = {27},
  number    = {3-4},
  pages     = {373--386},
  year      = {2008},
  url       = {https://doi.org/10.1177/0278364907085560},
  doi       = {10.1177/0278364907085560},
  timestamp = {Wed, 14 Jun 2017 20:39:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijrr/KurokawaTKKHM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{mtranwalker,
author = {KUROKAWA, Haruhisa and Yoshida, Eiichi and Tomita, Kohji and KAMIMURA, Akiya and Murata, Satoshi and KOKAJI, Shigeru},
year = {2004},
month = {01},
pages = {},
title = {Deformable Multi M-TRAN Structure Works as Walker Generator}
}

@article{1159219,
  author={K. {St{\o}y} and  Wei Shen and P. M. {Will}},
  journal={IEEE/ASME Transactions on Mechatronics},
  title={Using role-based control to produce locomotion in chain-type self\-/reconfigurable robots},
  year={2002},
  volume={7},
  number={4},
  pages={410-417},
  doi={10.1109/TMECH.2002.806223},
  ISSN={1941-014X},
  month={Dec}
}

@inproceedings{DBLP:conf/icra/ButlerKRT02,
  author    = {Zack J. Butler and
               Keith Kotay and
               Daniela Rus and
               Kohji Tomita},
  title     = {Generic Decentralized Control for a Class of self\-/Reconfigurable Robots},
  booktitle = {{IEEE} International Conference on Robotics
               and Automation 2002},
  pages     = {809--816},
  publisher = {{IEEE}},
  year      = {2002},
  doi       = {10.1109/ROBOT.2002.1013457},
  timestamp = {Mon, 22 May 2017 17:12:01 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/ButlerKRT02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{stoy2002global,
  title={Global locomotion from local interaction in self\-/reconfigurable robots},
  author={St{\o}y, K and Shen, WM and Will, P},
  booktitle={Proceedings of the 7th international conference on intelligent autonomous systems (IAS-7)},
  pages={25--27},
  year={2002}
}

@inproceedings{DBLP:conf/icra/StoySW03,
  author    = {Kasper St{\o}y and
               Wei Shen and
               Peter M. Will},
  title     = {Implementing configuration dependent gaits in a self\-/reconfigurable
               robot},
  booktitle = {Proceedings of the 2003 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {3828--3833},
  publisher = {{IEEE}},
  year      = {2003},
  doi       = {10.1109/ROBOT.2003.1242184},
  timestamp = {Mon, 22 May 2017 17:12:21 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/StoySW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{gonzalez2006locomotion,
  title={Locomotion capabilities of a modular robot with eight pitchyaw-connecting modules 9th Int},
  author={Gonzalez-Gomez, J and Zhang, H and Boemo, E and Zhang, J},
  booktitle={Conf. Climbing Walking and Robots},
  year={2006}
}

@article{superbotroller,
author = {Shen, Weimin and Chiu, Harris Chi Ho and Rubenstein, Mike and Salemi, Behnam},
year = {2008},
month = {01},
pages = {839-848},
title = {Rolling and Climbing by the Multifunctional SuperBot Reconfigurable Robotic System},
volume = {969},
journal = {AIP Conference Proceedings},
doi = {10.1063/1.2845049}
}

@incollection{baca2016coordination,
  title={Coordination of modular robots by means of topology discovery and leader election: Improvement of the locomotion case},
  author={Baca, Jos{\'e} and Woosley, Bradley and Dasgupta, Prithviraj and Dutta, Ayan and Nelson, Carl},
  booktitle={Distributed Autonomous Robotic Systems},
  pages={447--458},
  year={2016},
  publisher={Springer}
}

@article{DBLP:journals/corr/abs-1809-02595,
  author    = {Carlos San Vicente Guti{\'{e}}rrez and
               Lander Usategui San Juan and
               Irati Zamalloa Ugarte and
               Victor Mayoral Vilches},
  title     = {Towards a distributed and real-time framework for robots: Evaluation
               of {ROS} 2.0 communications for real-time robotic applications},
  journal   = {CoRR},
  volume    = {abs/1809.02595},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.02595},
  archivePrefix = {arXiv},
  eprint    = {1809.02595},
  timestamp = {Fri, 05 Oct 2018 11:34:52 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1809-02595.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{roboticbus,
  author = {Gomez-Ibanez, Daniel and Stump, Ethan and Grocholsky, Ben and Taylor, Camillo},
  year = {2004},
  month = {12},
  pages = {155-163},
  title = {The robotics bus: A local communications bus for robots},
  volume = {5609},
  journal = {Proceedings of SPIE - The International Society for Optical Engineering},
  doi = {10.1117/12.571476}
}

@phdthesis{yim1994locomotion,
  title={Locomotion with a unit-modular reconfigurable robot},
  author={Yim, Mark},
  year={1994},
  url={http://i.stanford.edu/pub/cstr/reports/cs/tr/95/1536/CS-TR-95-1536.pdf},
  school={stanford university Palo Alto, CA}
}

@inproceedings{DBLP:conf/agents/ShenLW00,
  author    = {Wei Shen and
               Yimin Lu and
               Peter M. Will},
  title     = {Hormone-based control for self\-/reconfigurable robots},
  booktitle = {Proceedings of the Fourth International Conference on Autonomous Agents},
  pages     = {1--8},
  publisher = {{ACM}},
  year      = {2000},
  doi       = {10.1145/336595.336602},
  timestamp = {Tue, 06 Nov 2018 11:07:01 +0100},
  biburl    = {https://dblp.org/rec/conf/agents/ShenLW00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cec/HamannSSC10,
  author    = {Heiko Hamann and
               J{\"{u}}rgen Stradner and
               Thomas Schmickl and
               Karl Crailsheim},
  title     = {A hormone-based controller for evolutionary multi-modular robotics:
               From single modules to gait learning},
  booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2010},
  doi       = {10.1109/CEC.2010.5585994},
  timestamp = {Sun, 21 May 2017 00:21:50 +0200},
  biburl    = {https://dblp.org/rec/conf/cec/HamannSSC10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/MorenoG11,
  author    = {Rodrigo Moreno and
               Jonatan G{\'{o}}mez},
  title     = {Central pattern generators and hormone inspired messages: {A} hybrid
               control strategy to implement motor primitives on chain type modular
               reconfigurable robots},
  booktitle = {{IEEE} International Conference on Robotics and Automation},
  pages     = {1014--1019},
  publisher = {{IEEE}},
  year      = {2011},
  doi       = {10.1109/ICRA.2011.5980149},
  timestamp = {Thu, 08 Jun 2017 14:26:34 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/MorenoG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/LipsonP00,
  author    = {Hod Lipson and
               Jordan B. Pollack},
  title     = {Towards Continuously Reconfigurable self\-/Designing Robotics},
  booktitle = {Proceedings of the 2000 {IEEE} International Conference on Robotics
               and Automation},
  pages     = {1761--1766},
  publisher = {{IEEE}},
  year      = {2000},
  doi       = {10.1109/ROBOT.2000.844850},
  timestamp = {Mon, 22 May 2017 17:12:20 +0200},
  biburl    = {https://dblp.org/rec/conf/icra/LipsonP00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icas/HigginsTM09,
  author    = {Fiona Higgins and
               Allan Tomlinson and
               Keith M. Martin},
  title     = {Survey on Security Challenges for Swarm Robotics},
  booktitle = {Fifth International Conference on Autonomic and Autonomous Systems},
  pages     = {307--312},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  doi       = {10.1109/ICAS.2009.62},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/icas/HigginsTM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Femtobots,
  author    = {Pierre Thalamy and Benoit Piranda and Frederic Lassabe and Julien Bourgeois},
  title     = {{Scaffold-based Asynchronous Distributed
self\-/Reconfiguration by Continuous Module Flow}},
  booktitle = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
      Systems},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/document/8967775/},
}

@inproceedings{DBLP:conf/iros/TosunDLY16,
  author    = {Tarik Tosun and
               Jay Davey and
               Chao Liu and
               Mark Yim},
  title     = {Design and characterization of the EP-Face connector},
  booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {45--51},
  publisher = {{IEEE}},
  year      = {2016},
  doi       = {10.1109/IROS.2016.7759033},
  timestamp = {Mon, 13 Jan 2020 16:36:09 +0100},
  biburl    = {https://dblp.org/rec/conf/iros/TosunDLY16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/ParrottDG14,
  author    = {Christopher Parrott and
               Tony J. Dodd and
               Roderich Gross},
  title     = {HiGen: {A} high-speed genderless mechanical connection mechanism with
               single-sided disconnect for self\-/reconfigurable modular robots},
  booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {3926--3932},
  publisher = {{IEEE}},
  year      = {2014},
  doi       = {10.1109/IROS.2014.6943114},
  timestamp = {Sat, 19 Oct 2019 20:08:15 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/ParrottDG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/MrazekB19,
  author    = {Jan Mr{\'{a}}zek and
               Jiri Barnat},
  title     = {RoFICoM -- First Open-Hardware Connector for Metamorphic Robots},
  booktitle = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems, {IROS}},
  pages     = {2720--2725},
  publisher = {{IEEE}},
  year      = {2019},
  doi       = {10.1109/IROS40897.2019.8968167},
  timestamp = {Fri, 31 Jan 2020 13:28:16 +0100},
  biburl    = {https://dblp.org/rec/conf/iros/MrazekB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ral/Trenkwalder19,
  author    = {Stefan M. Trenkwalder},
  title     = {Computational Resources of Miniature Robots: Classification and Implications},
  journal   = {{IEEE} Robotics Automation Letters},
  volume    = {4},
  number    = {3},
  pages     = {2722--2729},
  year      = {2019},
  doi       = {10.1109/LRA.2019.2917395},
  timestamp = {Thu, 02 Apr 2020 08:35:41 +0200},
  biburl    = {https://dblp.org/rec/journals/ral/Trenkwalder19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/Hustig-SchultzS16,
  author    = {Dawn Hustig{-}Schultz and
               Vytas SunSpiral and
               Mircea Teodorescu},
  title     = {Morphological design for controlled tensegrity quadruped locomotion},
  booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {4714--4719},
  publisher = {{IEEE}},
  year      = {2016},
  doi       = {10.1109/IROS.2016.7759693},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/Hustig-SchultzS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/CeraA18,
  author    = {Brian Cera and
               Alice M. Agogino},
  title     = {Multi-Cable Rolling Locomotion with Spherical Tensegrities Using Model
               Predictive Control and Deep Learning},
  booktitle = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and
               Systems},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2018},
  doi       = {10.1109/IROS.2018.8594401},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/iros/CeraA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/robio/YuLW17,
  author    = {Minjing Yu and
               YongJin Liu and
               Charlie C. L. Wang},
  title     = {EasySRRobot: An easy-to-build self\-/reconfigurable robot with optimized
               design},
  booktitle = {2017 {IEEE} International Conference on Robotics and Biomimetics,
               {ROBIO} 2017},
  pages     = {1094--1099},
  publisher = {{IEEE}},
  year      = {2017},
  doi       = {10.1109/ROBIO.2017.8324563},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/robio/YuLW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@misc{otrebla333, title={otrebla333/Dtto-Modular-Robot}, url={https://github.com/otrebla333/Dtto-Modular-Robot}, journal={GitHub}, author={otrebla333}}

@proceedings{DBLP:series/faia/2009-185,
  editor    = {Armin Biere and
               Marijn Heule and
               Hans van Maaren and
               Toby Walsh},
  title     = {Handbook of Satisfiability},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {185},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-58603-929-5},
  timestamp = {Wed, 16 Sep 2009 11:21:15 +0200},
  biburl    = {https://dblp.org/rec/bib/series/faia/2009-185},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MouraB08,
  author    = {Leonardo Mendon{\c{c}}a de Moura and
               Nikolaj Bj{\o}rner},
  opteditor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {{Z3:} An Efficient {SMT} Solver},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {(TACAS)} 2008},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  optpages     = {337--340},
  publisher = {Springer},
  year      = {2008},
  opturl       = {https://doi.org/10.1007/978-3-540-78800-3\_24},
  doi       = {10.1007/978-3-540-78800-3\_24},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/MouraB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/CorziliusKJSA15,
  author    = {Florian Corzilius and
               Gereon Kremer and
               Sebastian Junges and
               Stefan Schupp and
               Erika {\'{A}}brah{\'{a}}m},
  opteditor    = {Marijn Heule and
               Sean A. Weaver},
  title     = {{SMT-RAT:} An Open Source {C++} Toolbox for Strategic and Parallel
               {SMT} Solving},
  booktitle = {Theory and Applications of Satisfiability Testing -- {SAT} 2015 -- 18th
               International Conference},
  series    = {Lecture Notes in Computer Science},
  optvolume    = {9340},
  optpages     = {360--368},
  publisher = {Springer},
  year      = {2015},
  opturl       = {https://doi.org/10.1007/978-3-319-24318-4\_26},
  doi       = {10.1007/978-3-319-24318-4\_26},
  timestamp = {Tue, 21 May 2019 09:04:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/CorziliusKJSA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Dutertre14,
  author    = {Bruno Dutertre},
  opteditor    = {Armin Biere and
               Roderick Bloem},
  title     = {Yices 2.2},
  booktitle = {Computer Aided Verification (CAV) -- 26th International Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  optpages  = {737--744},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9\_49},
  optdoi       = {10.1007/978-3-319-08867-9\_49},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Dutertre14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GaoKC13,
  author    = {Sicun Gao and
               Soonho Kong and
               Edmund M. Clarke},
  opteditor    = {Maria Paola Bonacina},
  title     = {{dReal: An {SMT} Solver for Nonlinear Theories over the Reals}},
  booktitle = {Automated Deduction -- {CADE-24} -- 24th International Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  optpages     = {208--214},
  publisher = {Springer},
  year      = {2013},
  opturl       = {https://doi.org/10.1007/978-3-642-38574-2\_14},
  doi       = {10.1007/978-3-642-38574-2\_14},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/GaoKC13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BarrettCDHJKRT11,
  author    = {Clark W. Barrett and
               Christopher L. Conway and
               Morgan Deters and
               Liana Hadarean and
               Dejan Jovanovic and
               Tim King and
               Andrew Reynolds and
               Cesare Tinelli},
  opteditor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {{CVC4}},
  booktitle = {Computer Aided Verification (CAV) -- 23rd International Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  optpages     = {171--177},
  publisher = {Springer},
  year      = {2011},
  opturl       = {https://doi.org/10.1007/978-3-642-22110-1\_14},
  doi       = {10.1007/978-3-642-22110-1\_14},
  timestamp = {Wed, 25 Sep 2019 18:02:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BarrettCDHJKRT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@INPROCEEDINGS{Gazebo,
  author={N. {Koenig} and A. {Howard}},
  booktitle={IEEE/RSJ International Conference on Intelligent Robots and Systems},
  title={{Design and use paradigms for Gazebo, an open-source multi-robot simulator}},
  year={2004},
  volume={3},
  number={},
  pages={2149-2154},
  keywords={multi-robot systems;mobile robots;digital simulation;application program interfaces;control engineering computing;Gazebo;open-source multi-robot simulator;mobile robots;grained control;Player project;Stage project;Open source software;Educational robots;Vehicle dynamics;Robot sensing systems;Packaging;Computational modeling;Service robots;Mobile robots;Friction;Testing},
  doi={10.1109/IROS.2004.1389727},
  ISSN={null},
  month={Sep.}
}

@article{lwip,
  author = {Dunkels, Adam},
  year = {2001},
  com_month = {03},
  pages = {},
  title = {{Design and implementation of the lwIP TCP/IP stack}},
  volume = {2},
  journal = {Swedish Institute of Computer Science}
}

repository: Trphajzlik/thesis-proposal

repo_name: Trphajzlik/thesis-proposal


text:
// SPDX-License-Identifier: Apache-2.0
// Copyright 2020 Authors of Cilium

package cmd

import (
	"context"
	"io"
	"os"
	"strings"
	"time"

	k8sConst "github.com/cilium/cilium/pkg/k8s/apis/cilium.io"

	"github.com/cilium/cilium-cli/clustermesh"

	"github.com/spf13/cobra"
)

func newCmdClusterMesh() *cobra.Command {
	cmd := &cobra.Command{
		Use:   "clustermesh",
		Short: "Multi Cluster Management",
		Long:  ``,
	}

	cmd.AddCommand(
		newCmdClusterMeshEnable(),
		newCmdClusterMeshDisable(),
		newCmdClusterMeshConnect(),
		newCmdClusterMeshDisconnect(),
		newCmdClusterMeshStatus(),
		newCmdClusterMeshExternalWorkload(),
	)

	return cmd
}

func newCmdClusterMeshEnable() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "enable",
		Short: "Enable ClusterMesh ability in a cluster",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.Enable(context.Background()); err != nil {
				fatalf("Unable to enable ClusterMesh: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&params.ServiceType, "service-type", "", "Type of Kubernetes service to expose control plane { ClusterIP | LoadBalancer | NodePort }")
	cmd.Flags().StringVar(&params.ApiserverImage, "apiserver-image", "", "Container image for clustermesh-apiserver")
	cmd.Flags().StringVar(&params.ApiserverVersion, "apiserver-version", "", "Container image version for clustermesh-apiserver")
	cmd.Flags().BoolVar(&params.CreateCA, "create-ca", false, "Automatically create CA if needed")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().StringSliceVar(&params.ConfigOverwrites, "config", []string{}, "clustermesh-apiserver config entries (key=value)")

	return cmd
}

func newCmdClusterMeshDisable() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "disable",
		Short: "Disable ClusterMesh ability in a cluster",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.Disable(context.Background()); err != nil {
				fatalf("Unable to disable ClusterMesh: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")

	return cmd
}

func newCmdClusterMeshConnect() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "connect",
		Short: "Connect to a remote cluster",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.Connect(context.Background()); err != nil {
				fatalf("Unable to connect cluster: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().StringVar(&params.DestinationContext, "destination-context", "", "Kubernetes configuration context of destination cluster")
	cmd.Flags().StringSliceVar(&params.DestinationEndpoints, "destination-endpoint", []string{}, "IP of ClusterMesh service of destination cluster")
	cmd.Flags().StringSliceVar(&params.SourceEndpoints, "source-endpoint", []string{}, "IP of ClusterMesh service of source cluster")

	return cmd
}

func newCmdClusterMeshDisconnect() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "disconnect",
		Short: "Disconnect from a remote cluster",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.Disconnect(context.Background()); err != nil {
				fatalf("Unable to disconnect cluster: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().StringVar(&params.DestinationContext, "destination-context", "", "Kubernetes configuration context of destination cluster")

	return cmd
}

func newCmdClusterMeshStatus() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "status",
		Short: "Show status of ClusterMesh",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if _, err := cm.Status(context.Background()); err != nil {
				fatalf("Unable to determine status:  %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVar(&params.Namespace, "namespace", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().BoolVar(&params.Wait, "wait", false, "Wait until status is successful")
	cmd.Flags().DurationVar(&params.WaitDuration, "wait-duration", 15*time.Minute, "Maximum time to wait")
	cmd.Flags().BoolVar(&params.SkipServiceCheck, "skip-service-check", false, "Do not require service IP of remote cluster to be available")

	return cmd
}

func newCmdClusterMeshExternalWorkload() *cobra.Command {
	cmd := &cobra.Command{
		Use:     "external-workload",
		Aliases: []string{"vm"},
		Short:   "External Workload Management",
		Long:    ``,
	}

	cmd.AddCommand(
		newCmdExternalWorkloadCreate(),
		newCmdExternalWorkloadDelete(),
		newCmdExternalWorkloadInstall(),
		newCmdExternalWorkloadStatus(),
	)

	return cmd
}

func parseLabels(labels string) map[string]string {
	res := make(map[string]string)
	for _, str := range strings.Split(labels, ",") {
		str = strings.TrimSpace(str)
		i := strings.IndexByte(str, '=')
		if i < 0 {
			res[str] = ""
		} else {
			res[str[:i]] = str[i+1:]
		}
	}
	return res
}

func newCmdExternalWorkloadCreate() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stderr,
	}
	var labels string
	var namespace string

	cmd := &cobra.Command{
		Use:   "create <name...>",
		Short: "Create new external workloads",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			if labels != "" {
				params.Labels = parseLabels(labels)
			}
			if namespace != "" {
				if params.Labels == nil {
					params.Labels = make(map[string]string)
				}
				params.Labels[k8sConst.PodNamespaceLabel] = namespace
			}
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.CreateExternalWorkload(context.Background(), args); err != nil {
				fatalf("Unable to add external workloads: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().StringVarP(&namespace, "namespace", "n", "default", "Namespace for external workload labels")
	cmd.Flags().StringVar(&labels, "labels", "", "Comma separated list of labels for the external workload identity")
	cmd.Flags().StringVar(&params.IPv4AllocCIDR, "ipv4-alloc-cidr", "", "Unique IPv4 CIDR allocated for the external workload")
	cmd.Flags().StringVar(&params.IPv6AllocCIDR, "ipv6-alloc-cidr", "", "Unique IPv6 CIDR allocated for the external workload")

	return cmd
}

func newCmdExternalWorkloadDelete() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stderr,
	}

	cmd := &cobra.Command{
		Use:   "delete <name...>",
		Short: "Delete named external workloads",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.DeleteExternalWorkload(context.Background(), args); err != nil {
				fatalf("Unable to remove external workloads: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().BoolVar(&params.All, "all", false, "Delete all resources if none are named")

	return cmd
}

func newCmdExternalWorkloadInstall() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stderr,
	}

	cmd := &cobra.Command{
		Use:   "install [output-file]",
		Short: "Creates a shell script to install external workloads",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			var writer io.Writer
			if len(args) > 0 {
				file, err := os.Create(args[0])
				if err != nil {
					fatalf("Unable to open file %s: %s", args[0], err)
				}
				defer func() {
					file.Chmod(0775)
					file.Close()
				}()
				writer = file
			} else {
				writer = os.Stdout
			}
			if err := cm.WriteExternalWorkloadInstallScript(context.Background(), writer); err != nil {
				fatalf("Unable to create external workload install script: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")
	cmd.Flags().BoolVar(&params.Wait, "wait", false, "Wait until status is successful")
	cmd.Flags().DurationVar(&params.WaitDuration, "wait-duration", 15*time.Minute, "Maximum time to wait")
	cmd.Flags().StringSliceVar(&params.ConfigOverwrites, "config", []string{}, "Cilium agent config entries (key=value)")
	cmd.Flags().IntVar(&params.Retries, "retries", 4, "Number of Cilium agent start retries")

	return cmd
}

func newCmdExternalWorkloadStatus() *cobra.Command {
	var params = clustermesh.Parameters{
		Writer: os.Stdout,
	}

	cmd := &cobra.Command{
		Use:   "status [name...]",
		Short: "Show status of external workloads",
		Long:  ``,
		RunE: func(cmd *cobra.Command, args []string) error {
			cm := clustermesh.NewK8sClusterMesh(k8sClient, params)
			if err := cm.ExternalWorkloadStatus(context.Background(), args); err != nil {
				fatalf("Unable to determine status: %s", err)
			}
			return nil
		},
	}

	cmd.Flags().StringVarP(&params.Namespace, "namespace", "n", "kube-system", "Namespace Cilium is running in")
	cmd.Flags().StringVar(&contextName, "context", "", "Kubernetes configuration context")

	return cmd
}

repository: wazir-ahmed/cilium-cli

license_type: permissive

repo_name: wazir-ahmed/cilium-cli

branch_name: refs/heads/master

extension: go


text:
@article{girardi2019mortality,
  title={A mortality study on male subjects exposed to polyfluoroalkyl acids with high internal dose of perfluorooctanoic acid},
  author={Girardi, Paolo and Merler, Enzo},
  journal={Environmental research},
  volume={179},
  pages={108743},
  year={2019},
  publisher={Academic Press}
}

license: MIT

extension: bib


text:
require dfu-util.inc

DEPENDS = "libusb1"

SRC_URI += "file://no-usbpath.patch"

SRC_URI[md5sum] = "2cf466fabb881e8598fa02f286d3242c"
SRC_URI[sha256sum] = "f60fea987aa06ee03da22a656d1d113ac224458ec4442bcf1764a62f0930bd07"

repository: ExorEmbedded/exor-workspace

repo_name: ExorEmbedded/exor-workspace

gha_language: Python

extension: bb


text:
include(${CURRENT_INSTALLED_DIR}/share/ignitionmodularscripts/ignition_modular_library.cmake)

ignition_modular_library(NAME math
                         VERSION "6.6.0"
                         SHA512 1b5f59b45256daa81cbfb7da4727200d0d6cb4a75fbc3b83b512c18ec6307b5bd78b8ee7a84f0f8a8c334717a1480766f62658bd213e9021c09c0ed22caa921d)

gha_license_id: NOASSERTION

extension: cmake


text:
@inproceedings{ives_comparison_2019,
 abstract = {We compare three independent impairment abstractions of an installed fibre infrastructure. Abstractions agreed to within 1.3dB despite being obtained from different nodes using different terminal equipment. Validation using a DWDM virtual topology was within 1.4dB.},
 author = {Ives, D. J. and Yan, S. and Galdino, L. and Elson, D. J. and Vaquero-Caballero, F. J. and Saavedra, G. and Wang, R. and Lavery, D. and Nejabati, R. and Bayvel, P. and Simeonidou, D. and Savory, S. J.},
 booktitle = {Optical Fiber Communication Conference (OFC) 2019 (2019), Paper M4J.4},
 date = {2019-03-03},
 doi = {10.1364/OFC.2019.M4J.4},
 eventtitle = {Optical Fiber Communication Conference},
 file = {/Users/sy13201/Zotero/storage/9DVF5VYN/Ives et al_2019_A Comparison of Impairment Abstractions by Multiple Users of an Installed Fiber.pdf;/Users/sy13201/Zotero/storage/5NYWTBQD/abstract.html;/Users/sy13201/Zotero/storage/6DE88JN2/8696495.html},
 ids = {ives_comparison_2019-1},
 langid = {english},
 pages = {M4J.4},
 publisher = {Optical Society of America},
 title = {A Comparison of Impairment Abstractions by Multiple Users of an Installed Fiber Infrastructure},
 url = {https://www.osapublishing.org/abstract.cfm?uri=OFC-2019-M4J.4},
 urldate = {2019-03-26}
}


text:
SUMMARY = "base library for low-level IEEE 1394 accesses"
HOMEPAGE = "https://ieee1394.wiki.kernel.org/index.php/Libraries#libraw1394"
SECTION = "libs"
LICENSE = "LGPL-2.1-only"
LIC_FILES_CHKSUM = "file://COPYING.LIB;md5=d8045f3b8f929c1cb29a1e3fd737b499"

SRC_URI = "https://www.kernel.org/pub/linux/libs/ieee1394/${BPN}-${PV}.tar.gz"
SRC_URI[md5sum] = "45031ab15ca93e50c19886a38bc1814a"
SRC_URI[sha256sum] = "ddc4e32721cdfe680d964aaede68ac606a20cd17dd2ba70e2d7e0692086ab57c"

inherit autotools

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded

gha_license_id: MIT

gha_language: BitBake


text:
package rpcclient

//
//import (
//	"fmt"
//	"net/rpc"
//	"os"
//	"os/exec"
//	"time"
//)

//var (
//	wg sync.WaitGroup
//	ad AccessData
//)
//
//type AccessData struct {
//	key []byte
//}
//
//type Response struct {
//	Message  string
//	runCheck bool
//	Key      []byte
//}
//
//type Request struct {
//	Name     string
//	runCheck bool
//	Key      []byte
//}
//
//var (
//	ip      = "127.0.0.1"
//	port    = "14555"
//	address = fmt.Sprintf("%s:%s", ip, port)
//	outfile *os.File
//)

//func Client() {
//	wg.Add(1)
//	c, err := rpc.Dial("tcp", "127.0.0.1:4555")
//	if err != nil {
//		fmt.Println(err)
//		return
//	}
//	var result string
//	err = c.Call("Server.Add", [2]int64{10, 20}, &result)
//	if err != nil {
//		fmt.Println(err)
//	}
//	_ = c.Close()
//	wg.Done()
//}

//func StartServer() {
//	CheckRunning()
//	wg.Wait()
//
//	wg.Add(1)
//	var err error
//	cmd := exec.Command("./goverifier", "-rpc=true", fmt.Sprintf("-port=%s", port))
//	outfile, err = os.Create("./logs/verifier.log")
//
//	cmd.Stdout = outfile
//	cmd.Stderr = outfile
//	if err != nil {
//		panic(err)
//	}
//	defer outfile.Close()
//
//	err = cmd.Start()
//	if err != nil {
//		fmt.Printf("cmd.Run() failed with %s\n", err)
//	}
//	wg.Done()

//	timer1 := time.NewTimer(2 * time.Second)
//	<-timer1.C
//	wg.Add(1)
//
//	c, err := rpc.Dial("tcp", address)
//	if err != nil {
//		fmt.Println(err)
//		return
//	}
//	var result *Response
//	err = c.Call("Server.StartServer", Request{"StartServer", ad.key}, &result)
//	if err != nil {
//		fmt.Println(err)
//	}
//	_ = c.Close()
//	wg.Done()
//
//}

//func CheckRunning() {
//	wg.Add(1)
//	c, err := rpc.Dial("tcp", address)
//	if err != nil {
//		fmt.Println(err)
//		return
//	}
//	var result *Response
//	err = c.Call("Server.StartServer", Request{"StartServer", ad.key}, &result)
//	if err != nil {
//		fmt.Println(err)
//	}
//	_ = c.Close()
//	wg.Done()
//}

//func StopServer() {
//	wg.Add(1)
//	c, err := rpc.Dial("tcp", address)
//	if err != nil {
//		fmt.Println(err)
//		return
//	}
//	var result *Response
//	err = c.Call("Server.StopServer", Request{"StopServer", ad.key}, &result)
//	if err != nil {
//		fmt.Println(err)
//	}
//	_ = c.Close()
//	wg.Done()
//}

//func RestartServer() {
//	wg.Add(1)
//	c, err := rpc.Dial("tcp", address)
//	if err != nil {
//		fmt.Println(err)
//		return
//	}
//	//fmt.Println("Connected...")
//	var result *Response
//	err = c.Call("Server.RestartServer", Request{"RestartServer", ad.key}, &result)
//	if err != nil {
//		fmt.Println(err)
//	}
//	_ = c.Close()
//	wg.Done()
//}

//func GetKey(phrase string, key string) {
//	keyChar := key[len(key)-13:]
//	encrypted := encrypt([]byte(keyChar), phrase)
//	fmt.Printf("key: %x", encrypted)
//	ad.key = encrypted
//}

repository: instance-id/GoUI

repo_name: instance-id/GoUI


text:
SUMMARY = "library to access web services that claim to be "RESTful""
HOMEPAGE = "https://wiki.gnome.org/Projects/Librest"
LICENSE = "LGPL-2.1-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=2d5025d4aa3495befef8f17206a5b0a1"

GNOMEBASEBUILDCLASS = "meson"

DEPENDS = " \
    gi-docgen \
    gi-docgen-native \
    glib-2.0 \
    glib-2.0-native \
    json-glib \
    libxml2-native \
"

inherit gnomebase gobject-introspection vala pkgconfig

PACKAGECONFIG_SOUP ?= "soup3"
PACKAGECONFIG ??= "${PACKAGECONFIG_SOUP}"

PACKAGECONFIG[soup2] = "-Dsoup2=true,,libsoup-2.4"
PACKAGECONFIG[soup3] = "-Dsoup2=false,,libsoup-3.0"

SRC_URI[archive.sha256sum] = "85b2bc9341128139539b53ee53f0533310bc96392fd645863a040410b81ebe66"


text:
package api

// UserData represents the user's information about the member level.
type UserData struct {
	ID       int `json:"id"`
	GuildID  int `json:"guild_id"`
	UserID   int `json:"user_id"`
	OwnExp   int `json:"own_exp"`
	NextExp  int `json:"next_exp"`
	TotalExp int `json:"total_exp"`
}

repository: Lazialize/geek-space-bot

repo_name: Lazialize/geek-space-bot