AutomataZoo: A Modern Automata Processing Benchmark Suite. - Jack Wadden; Tommy Tracy II; Elaheh Sadredini; Lingxi Wu; Chunkun Bo; Jesse Du; Yizhou Wei; Jeffrey Udall; Matthew Wallace; Mircea Stan; Kevin Skadron (IISWC, 2018)