Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün. Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. In Antonello Calabrò, Francesca Lonetti, Eda Marchetti, editors, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. pages 83-90, SciTePress, 2016. [doi]