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

    Research output: Non-textual form and Research tools › Software › Academic

    Original languageEnglish
    Media of outputOnline
    Publication statusPublished - 23 Sept 2022

    Access to Document

    • 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 proceeding › Chapter › Academic › peer-review

    Cite this