S Maoz, Y Sa'ar - 2013 35th International Conference on …, 2013 - ieeexplore.ieee.org
The scenario-based approach to the specification and simulation of reactive systems has
attracted much research efforts in recent years. While the problem of synthesizing a …