TY - RPRT TI - Generating Synchronizing Automata with Large Reset Lengths AU - Andrzej Kisielewicz AU - Marek Szykuła PY - 2018 UR - https://arxiv.org/abs/1404.3311 ID - 1404.3311 ER -