-
Generating Shortest Synchronizing Sequences using Answer Set Programming
For a finite state automaton, a synchronizing sequence is an input seque...
read it

Canan Güniçen
is this you? claim profile
For a finite state automaton, a synchronizing sequence is an input seque...
read it