20 citations · 36 across the 12 of their papers we have counts for
1 paper · 1 filter
Ron van der Meyden, Moshe Y. Vardi
In program synthesis, we transform a specification into a program that is guaranteed to satisfy the specification. In synthesis of reactive systems, the environment in which the pr…