Souheib Baarir
Papers
2
Total Citations
4
H-Index
2
About
Souheib Baarir is a computer scientist whose research bridges formal verification, game theory, and robotics. His work focuses on the symbolic configuration space of self-reconfigurable modular robots, where he explores how these dynamic systems can autonomously reorganize their structure to adapt to tasks—a foundational challenge in adaptive robotics. Baarir has also made significant contributions to the formal analysis of partial information games, developing novel encoding and solving techniques that enable reasoning about strategic interactions under uncertainty. While his most-cited papers each hold 2 citations, their impact lies in laying groundwork for future advances: the 2011 paper on modular robots introduced symbolic methods for representing complex configuration spaces, while the 2021 work on partial information games advances algorithmic game theory. Baarir’s interdisciplinary approach—combining automata theory, logic, and control—positions him as a researcher tackling fundamental problems at the intersection of verification and autonomous systems. His work is particularly relevant for students and researchers interested in formal methods for robotics and multi-agent systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2On the Encoding and Solving of Partial Information Games2 citations · 2021