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 form and Research tools › Software › Academic

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