On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem

Yehia Abd Alrahman, Nir Piterman

We consider the problem of distributing a centralised transition system to a set of asynchronous agents recognising the same language. Existing solutions are either manual or invol…