Self-adaptive modular robots: formal modeling for validation and coordination

The main objective of this project is to contribute to the implementation of modular robots by developing a formal framework to model, validate and coordinate their dynamic behaviours.

Composability & verification of BIP design patterns

This internship project focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.