Subject: Automated synthesis of reactive controllers

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