selected publications chapter Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. Lecture notes in computer science. 86-103. 2019