Assumpte: Automated synthesis of reactive controllers

Descripció: This is to keep the authors of tools and benchmarks for the syntcomp.org competition in the loop about calls, updates, etc.