-
Random Finite State Automata Dataset
The dataset used in the paper consists of 100 random finite state automata (FAs) with 2-27 states and 2-6 input symbols. -
Generating Shortest Synchronizing Sequences using ASP
The problem of finding a shortest synchronizing sequence for a finite state automaton (FA) is formulated in Answer Set Programming (ASP). Four different ASP formulations are...
