Members
Sumo team, Inria Rennes
- Nathalie Bertrand (PI)
- Blaise Genest
- Ocan Sankur
- Engel Lefaucheux, PhD student
TU Dresden
- Christel Baier (PI)
- Clemens Dubslaff, PhD student
- Daniel Gburek, PhD student
