@article(Angluin1987,
 author       = {Dana Angluin},
 year         = {1987},
 title        = {Learning Regular Sets from Queries and Counterexamples},
 journal      = {Information and Computation},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@inproceedings(AngluinEF15,
 author       = {Dana Angluin and Sarah Eisenstat and Dana Fisman},
 year         = {2015},
 title        = {Learning Regular Languages via Alternating Automata},
 booktitle    = {Proceedings of the 24th International Conference on Artificial Intelligence},
 series       = {IJCAI'15},
 publisher    = {AAAI Press},
 pages        = {3308--3314},
)
@inproceedings(Argyros2018,
 author       = {George Argyros and Loris D'Antoni},
 year         = {2018},
 title        = {The Learnability of Symbolic Automata},
 booktitle    = {Computer Aided Verification (CAV 2018)},
 pages        = {427--445},
 doi          = {10.1007/978-3-319-63121-9_8},
)
@inproceedings(ArgyrosSKK16,
 author       = {George Argyros and Ioannis Stais and Aggelos Kiayias and Angelos D. Keromytis},
 year         = {2016},
 title        = {Back in Black: Towards Formal, Black Box Analysis of Sanitizers and Filters},
 booktitle    = {{IEEE} Symposium on Security and Privacy (SP 2016)},
 pages        = {91--109},
 doi          = {10.1109/SP.2016.14},
)
@techreport(BolligHKL2008,
 author       = {Benedikt Bollig and Peter Habermehl and Carsten Kern and Martin Leucker},
 year         = {2008},
 title        = {Angluin-Style Learning of {NFA}},
 type         = {Technical Report},
 number       = {LSV-08-28},
 institution  = {Laboratoire Sp\'{e}cification et V\'{e}rification},
)
@inproceedings(Bollig2009,
 author       = {Benedikt Bollig and Peter Habermehl and Carsten Kern and Martin Leucker},
 year         = {2009},
 title        = {Angluin-Style Learning of {NFA}},
 booktitle    = {Proceedings of the 21st International Joint Conference on Artificial Intelligence},
 pages        = {1004--1009},
)
@article(Denis2002,
 author       = {Fran{\c{c}}ois Denis and Aur{\'e}lien Lemay and Alain Terlutte},
 year         = {2002},
 title        = {Residual finite state automata},
 journal      = {Fundamenta Informaticae},
 volume       = {51},
 number       = {4},
 pages        = {339--368},
)
@article(Denis2004,
 author       = {Fran{\c{c}}ois Denis and Aur{\'e}lien Lemay and Alain Terlutte},
 year         = {2004},
 title        = {Learning regular languages using RFSAs},
 journal      = {Theoretical Computer Science},
 volume       = {313},
 number       = {2},
 pages        = {267--294},
 doi          = {10.1016/j.tcs.2003.11.008},
)
@inproceedings(DrewsD17,
 author       = {Samuel Drews and Loris D'Antoni},
 year         = {2017},
 title        = {Learning Symbolic Automata},
 booktitle    = {23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)},
 pages        = {173--189},
 doi          = {10.1007/978-3-662-54577-5\_10},
)
@article(Higuera05,
 author       = {Colin de la Higuera},
 year         = {2005},
 title        = {A bibliographical study of grammatical inference},
 journal      = {Pattern Recognition},
 volume       = {38},
 number       = {9},
 pages        = {1332--1348},
 doi          = {10.1016/j.patcog.2005.01.003},
)
@inproceedings(HowarS16,
 author       = {Falk Howar and Bernhard Steffen},
 year         = {2018},
 title        = {Active Automata Learning in Practice - An Annotated Bibliography of the Years 2011 to 2016},
 booktitle    = {Machine Learning for Dynamic Software Analysis: Potentials and Limits},
 pages        = {123--148},
 doi          = {10.1007/978-3-642-24580-0_15},
)
@inproceedings(IsbernerHS14,
 author       = {Malte Isberner and Falk Howar and Bernhard Steffen},
 year         = {2014},
 title        = {The {TTT} Algorithm: A Redundancy-Free Approach to Active Automata Learning},
 booktitle    = {Runtime Verification},
 publisher    = {Springer International Publishing},
 pages        = {307--322},
 doi          = {10.1007/978-3-642-21455-4_8},
)
@book(KearnsV94,
 author       = {M. Kearns and U. Vazirani},
 year         = {1994},
 title        = {An introduction to computational learning theory},
 publisher    = {The MIT Press},
 doi          = {10.7551/mitpress/3897.001.0001},
)
@inproceedings(Leucker06,
 author       = {Martin Leucker},
 year         = {2006},
 title        = {Learning Meets Verification},
 booktitle    = {5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)},
 pages        = {127--151},
 doi          = {10.1007/978-3-540-74792-5\_6},
)
@incollection(MalerM17,
 author       = {Oded Maler and Irini{-}Eleftheria Mens},
 year         = {2017},
 title        = {A Generic Algorithm for Learning Symbolic Automata from Membership Queries},
 booktitle    = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
 publisher    = {Springer International Publishing},
 pages        = {146--169},
 doi          = {10.1007/978-3-319-63121-9\_8},
)
@inproceedings(MargariaNRS04,
 author       = {Tiziana Margaria and Oliver Niese and Harald Raffelt and Bernhard Steffen},
 year         = {2004},
 title        = {Efficient test-based model generation for legacy reactive systems},
 booktitle    = {Ninth {IEEE} International High-Level Design Validation and Test Workshop},
 pages        = {95--100},
 doi          = {10.1109/HLDVT.2004.1431246},
)
@article(MensM15,
 author       = {Irini{-}Eleftheria Mens and Oded Maler},
 year         = {2015},
 title        = {Learning Regular Languages over Large Ordered Alphabets},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {3},
 doi          = {10.2168/LMCS-11(3:13)2015},
)
@article(Nakamura05,
 author       = {Atsuyoshi Nakamura},
 year         = {2005},
 title        = {An efficient query learning algorithm for ordered binary decision diagrams},
 journal      = {Inf. Comput.},
 volume       = {201},
 number       = {2},
 pages        = {178--198},
 doi          = {10.1016/j.ic.2005.05.003},
)
@article(RivestSchapire1993,
 author       = {Ronald L. Rivest and Robert E. Schapire},
 year         = {1993},
 title        = {Inference of Finite Automata Using Homing Sequences},
 journal      = {Information and Computation},
 volume       = {103},
 number       = {2},
 pages        = {299--347},
 doi          = {10.1006/inco.1993.1021},
)
@inproceedings(VeanesHT10,
 author       = {Margus Veanes and Peli de Halleux and Nikolai Tillmann},
 year         = {2010},
 title        = {Rex: Symbolic Regular Expression Explorer},
 booktitle    = {Third International Conference on Software Testing, Verification and Validation (ICST 2010)},
 pages        = {498--507},
 doi          = {10.1109/ICST.2010.15},
)
@inproceedings(WeissGY18,
 author       = {Gail Weiss and Yoav Goldberg and Eran Yahav},
 year         = {2018},
 title        = {Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples},
 booktitle    = {Proceedings of the 35th International Conference on Machine Learning},
 pages        = {5244--5253},
)