@inproceedings(DBLP:conf/cav/BouajjaniHV04, author = {Ahmed Bouajjani and Peter Habermehl and Tom{\'{a}}s Vojnar}, year = {2004}, title = {Abstract Regular Model Checking}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, pages = {372--386}, doi = {10.1007/978-3-540-27813-9_29}, ) @inproceedings(DBLP:conf/cav/BouajjaniJNT00, author = {Ahmed Bouajjani and Bengt Jonsson and Marcus Nilsson and Tayssir Touili}, year = {2000}, title = {Regular Model Checking}, booktitle = {Computer Aided Verification, 12th International Conference, {CAV} 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings}, pages = {403--418}, doi = {10.1007/10722167_31}, ) @article(DBLP:journals/tc/BrzozowskiM63, author = {Janusz A. Brzozowski and Edward J. McCluskey}, year = {1963}, title = {Signal Flow Graph Techniques for Sequential Circuit State Diagrams}, journal = {{IEEE} Trans. Electron. Comput.}, volume = {12}, number = {2}, pages = {67--76}, doi = {10.1109/PGEC.1963.263416}, ) @book(DBLP:books/daglib/0007403-2, author = {Edmund M. Clarke and Orna Grumberg and Daniel Kroening and Doron A. Peled and Helmut Veith}, year = {2018}, title = {Model checking, 2nd Edition}, publisher = {{MIT} Press}, url = {https://mitpress.mit.edu/books/model-checking-second-edition}, ) @misc(loris-page, author = {Loris D'Antoni}, title = {Symbolic automata}, howpublished = {\url{https://pages.cs.wisc.edu/~loris/symbolicautomata.html}}, ) @inproceedings(DBLP:conf/cav/DAntoniV17, author = {Loris D'Antoni and Margus Veanes}, year = {2017}, title = {The Power of Symbolic Automata and Transducers}, booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}}, pages = {47--67}, doi = {10.1007/978-3-319-63387-9\_3}, ) @book(DBLP:books/lib/Eilenberg74, author = {Samuel Eilenberg}, year = {1974}, title = {Automata, languages, and machines. {A}}, series = {Pure and applied mathematics}, publisher = {Academic Press}, url = {https://www.worldcat.org/oclc/310535248}, ) @article(giammarresi1999deterministic, author = {Dora Giammarresi and Rosa Montalbano}, year = {1999}, title = {Deterministic generalized automata}, journal = {Theoretical Computer Science}, volume = {215}, number = {1-2}, pages = {191--208}, doi = {10.1016/S0304-3975(97)00166-7}, ) @inproceedings(989841, author = {D. Giannakopoulou and K. Havelund}, year = {2001}, title = {Automata-based verification of temporal properties on running programs}, booktitle = {Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)}, pages = {412--416}, doi = {10.1109/ASE.2001.989841}, ) @article(DBLP:journals/tcs/GlobermanH96, author = {Noa Globerman and David Harel}, year = {1996}, title = {Complexity Results for Two-Way and Multi-Pebble Automata and their Logics}, journal = {Theor. Comput. Sci.}, volume = {169}, number = {2}, pages = {161--184}, doi = {10.1016/S0304-3975(96)00119-3}, ) @inproceedings(DBLP:conf/wia/HanW04, author = {Yo{-}Sub Han and Derick Wood}, year = {2004}, title = {The Generalization of Generalized Automata: Expression Automata}, booktitle = {Implementation and Application of Automata, 9th International Conference, {CIAA} 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers}, pages = {156--166}, doi = {10.1007/978-3-540-30500-2\_15}, ) @article(DBLP:journals/scp/Harel87, author = {David Harel}, year = {1987}, title = {Statecharts: {A} Visual Formalism for Complex Systems}, journal = {Sci. Comput. Program.}, volume = {8}, number = {3}, pages = {231--274}, doi = {10.1016/0167-6423(87)90035-9}, ) @inproceedings(DBLP:conf/icalp/Hashiguchi91, author = {Kosaburo Hashiguchi}, year = {1991}, title = {Algorithms for Determining the Smallest Number of Nonterminals (States) Sufficient for Generating (Accepting) a Regular Language}, booktitle = {Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings}, pages = {641--648}, doi = {10.1007/3-540-54233-7\_170}, ) @book(DBLP:books/daglib/0016921, author = {John E. Hopcroft and Rajeev Motwani and Jeffrey D. Ullman}, year = {2007}, title = {Introduction to automata theory, languages, and computation, 3rd Edition}, series = {Pearson international edition}, publisher = {Addison-Wesley}, ) @article(DBLP:journals/siamcomp/JiangR93, author = {Tao Jiang and Bala Ravikumar}, year = {1993}, title = {Minimal {NFA} Problems are Hard}, journal = {{SIAM} J. Comput.}, volume = {22}, number = {6}, pages = {1117--1141}, doi = {10.1137/0222067}, ) @inproceedings(DBLP:conf/coco/Karp72, author = {Richard M. Karp}, year = {1972}, title = {Reducibility Among Combinatorial Problems}, booktitle = {Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the {IBM} Thomas J. Watson Research Center, Yorktown Heights, New York, {USA}}, pages = {85--103}, doi = {10.1007/978-1-4684-2001-2\_9}, ) @article(DBLP:journals/tcs/MohriMW09, author = {Mehryar Mohri and Pedro J. Moreno and Eugene Weinstein}, year = {2009}, title = {General suffix automaton construction algorithm and space bounds}, journal = {Theor. Comput. Sci.}, volume = {410}, number = {37}, pages = {3553--3562}, doi = {10.1016/j.tcs.2009.03.034}, ) @inproceedings(DBLP:conf/popl/VeanesHLMB12, author = {Margus Veanes and Pieter Hooimeijer and Benjamin Livshits and David Molnar and Bj{\o}rner, Nikolaj S.}, year = {2012}, title = {Symbolic finite state transducers: algorithms and applications}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {137--150}, doi = {10.1145/2103656.2103674}, )