satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines

J. Moerman, Thorsten Wißmann

Research output: Non-textual formSoftwareAcademic

Original languageEnglish
Media of outputOnline
Publication statusPublished - 23 Sept 2022
  • State Identification and Verification with Satisfaction

    Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Cite this