• Formation Control and Rigidity Theory 

      [SNAP-2019-017-EN] Zelazo, Daniel; Zhao, Shiyu (Mathematisches Forschungsinstitut Oberwolfach, 2019-12-11)
      Formation control is one of the fundamental coordination tasks for teams of autonomous vehicles. Autonomous formations are used in applications ranging from search-and-rescue operations to deep space exploration, with ...
    • Limits of graph sequences 

      [SNAP-2019-010-EN] Klimošová, Tereza (Mathematisches Forschungsinstitut Oberwolfach, 2019-09-04)
      Graphs are simple mathematical structures used to model a wide variety of real-life objects. With the rise of computers, the size of the graphs used for these models has grown enormously. The need to efficiently represent ...
    • On Logic, Choices and Games 

      [SNAP-2019-009-EN] Oliva, Paulo (Mathematisches Forschungsinstitut Oberwolfach, 2019-09-04)
      Can we always mathematically formalise our taste and preferences? We discuss how this has been done historically in the field of game theory, and how recent ideas from logic and computer science have brought an interesting ...
    • Snake graphs, perfect matchings and continued fractions 

      [SNAP-2019-001-EN] Schiffler, Ralf (Mathematisches Forschungsinstitut Oberwolfach, 2019-02-13)
      A continued fraction is a way of representing a real number by a sequence of integers. We present a new way to think about these continued fractions using snake graphs, which are sequences of squares in the plane. You ...