Search Results for author: Hüsnü Yenigün

Found 1 papers, 0 papers with code

Generating Shortest Synchronizing Sequences using Answer Set Programming

no code implementations20 Dec 2013 Canan Güniçen, Esra Erdem, Hüsnü Yenigün

For a finite state automaton, a synchronizing sequence is an input sequence that takes all the states to the same state.

Cannot find the paper you are looking for? You can Submit a new open access paper.