@inproceedings(AartsV10,
 author       = {F. Aarts and F.W. Vaandrager},
 year         = {2010},
 title        = {Learning {I/O} Automata},
 booktitle    = {{CONCUR} 2010 - Concurrency Theory, 21th Inter. Conf., {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proc.},
 pages        = {71--85},
 doi          = {10.1007/978-3-642-15375-4\_6},
)
@article(Angluin87,
 author       = {D. Angluin},
 year         = {1987},
 title        = {Learning Regular Sets from Queries and Counterexamples},
 journal      = {Inf. Comput.},
 volume       = {75},
 number       = {2},
 pages        = {87--106},
 doi          = {10.1016/0890-5401(87)90052-6},
)
@inproceedings(AngluinBF16,
 author       = {D. Angluin and U. Boker and D. Fisman},
 year         = {2016},
 title        = {Families of {DFA}s as Acceptors of omega-Regular Languages},
 booktitle    = {41st Inter. Symp. on Mathematical Foundations of Computer Science, {MFCS}},
 pages        = {11:1--11:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.11},
)
@article(AngluinBF18,
 author       = {D. Angluin and U. Boker and D. Fisman},
 year         = {2018},
 title        = {{Families of DFAs as Acceptors of $\omega$-Regular Languages}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 14, Issue 1}},
 doi          = {10.23638/LMCS-14(1:15)2018},
)
@inproceedings(AngluinF14,
 author       = {D. Angluin and D. Fisman},
 year         = {2014},
 title        = {Learning Regular Omega Languages},
 booktitle    = {Algorithmic Learning Theory - 25th Inter. Conf., {ALT} Proc.},
 pages        = {125--139},
 doi          = {10.1007/978-3-319-11662-4_10},
)
@article(AngluinF16,
 author       = {D. Angluin and D. Fisman},
 year         = {2016},
 title        = {Learning regular omega languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {650},
 pages        = {57--72},
 doi          = {10.1016/j.tcs.2016.07.031},
)
@inproceedings(BM15,
 author       = {B. Balle and M. Mohri},
 year         = {2015},
 title        = {Learning Weighted Automata},
 booktitle    = {Algebraic Informatics - 6th International Conference, {CAI} 2015},
 pages        = {1--21},
 doi          = {10.1007/978-3-319-23021-4\_1},
)
@article(BV96,
 author       = {F. Bergadano and S. Varricchio},
 year         = {1996},
 title        = {Learning Behaviors of Automata from Multiplicity and Equivalence Queries},
 journal      = {{SIAM} J. Comput.},
 volume       = {25},
 number       = {6},
 pages        = {1268--1280},
 doi          = {10.1137/S009753979326091X},
)
@article(BF72,
 author       = {A. W. Biermann and J. A. Feldman},
 year         = {1972},
 title        = {On the Synthesis of Finite-State Machines from Samples of Their Behavior},
 journal      = {IEEE Trans. Comput.},
 volume       = {21},
 number       = {6},
 pages        = {592--597},
 doi          = {10.1109/TC.1972.5009015},
)
@inproceedings(Bojanczyk14,
 author       = {M. Boja{\'{n}}czyk},
 year         = {2014},
 title        = {Transducers with Origin Information},
 booktitle    = {Automata, Languages, and Programming - 41st Inter. Colloq., {ICALP}},
 pages        = {26--37},
 doi          = {10.1007/978-3-662-43951-7\_3},
)
@inproceedings(BB13,
 author       = {M. Botincan and D. Babic},
 year         = {2013},
 title        = {Sigma*: symbolic learning of input-output specifications},
 booktitle    = {40th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Language (POPL13)},
 pages        = {443--456},
 doi          = {10.1145/2429069.2429123},
)
@inproceedings(CalbrixNP93,
 author       = {H. Calbrix and M. Nivat and A. Podelski},
 year         = {1994},
 title        = {Ultimately Periodic Words of Rational {\it w}-Languages},
 booktitle    = {Proc. of the 9th Inter. Conf. on Mathematical Foundations of Programming Semantics},
 publisher    = {Springer-Verlag},
 pages        = {554--566},
 doi          = {10.1007/3-540-58027-1\_27},
)
@inproceedings(DiekertG08,
 author       = {V. Diekert and P. Gastin},
 year         = {2008},
 title        = {First-order definable languages},
 booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].},
 pages        = {261--306},
)
@inproceedings(DrewsD17,
 author       = {D. Drews and L. D'Antoni},
 year         = {2017},
 title        = {Learning Symbolic Automata},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd Inter. Conf., {TACAS}},
 pages        = {173--189},
 doi          = {10.1007/978-3-662-54577-5\_10},
)
@incollection(FarzanCCTW08,
 author       = {A. Farzan and Y. Chenand E.M. Clarke and Y. Tsay and B. Wang},
 year         = {2008},
 title        = {Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {LNCS},
 volume       = {4963},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {2--17},
 doi          = {10.1007/978-3-540-78800-3_2},
)
@article(Fisman18,
 author       = {D. Fisman},
 year         = {2018},
 title        = {{Inferring Regular Languages and $\omega$-Languages}},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {98C},
 pages        = {27--49},
 doi          = {10.1016/j.jlamp.2018.03.002},
)
@article(Fli74,
 author       = {M. Fliess},
 year         = {1974},
 title        = {Matrices de Hankel},
 journal      = {Journal de Mathe\'matiques Pureset Applique\'es},
 pages        = {197--224},
)
@inproceedings(GabbayPSS80,
 author       = {D. M. Gabbay and A. Pnueli and S. Shelah and J. Stavi},
 year         = {1980},
 title        = {On the Temporal Basis of Fairness},
 booktitle    = {Conf. Record of the 7th Annual {ACM} Symp. on Principles of Programming Languages},
 pages        = {163--173},
 doi          = {10.1145/567446.567462},
)
@article(KupfermanMM06,
 author       = {O. Kupferman and G. Morgenstern and A. Murano},
 year         = {2006},
 title        = {Typeness for omega-regular Automata},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {17},
 number       = {4},
 pages        = {869--884},
 doi          = {10.1142/S0129054106004157},
)
@inproceedings(Leucker06full,
 author       = {M. Leucker},
 year         = {2006},
 title        = {Learning Meets Verification},
 booktitle    = {Formal Methods for Components and Objects, 5th Inter. Symp., {FMCO}},
 pages        = {127--151},
 doi          = {10.1007/978-3-540-74792-5_6},
)
@inproceedings(MalerM17,
 author       = {O. Maler and I. 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},
 pages        = {146--169},
 doi          = {10.1007/978-3-319-63121-9_8},
)
@article(MalerPnueli95,
 author       = {O. Maler and A. Pnueli},
 year         = {1995},
 title        = {On the Learnability of Infinitary Regular Sets},
 journal      = {Inf. Comput.},
 volume       = {118},
 number       = {2},
 pages        = {316--326},
 doi          = {10.1006/inco.1995.1070},
)
@article(MalerStaiger97,
 author       = {O. Maler and L. Staiger},
 year         = {1997},
 title        = {On Syntactic Congruences for Omega-Languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {183},
 number       = {1},
 pages        = {93--112},
 doi          = {10.1016/S0304-3975(96)00312-X},
)
@inproceedings(MannaP89,
 author       = {Z. Manna and A. Pnueli},
 year         = {1990},
 title        = {A Hierarchy of Temporal Properties},
 booktitle    = {Proc. of the Ninth Annual {ACM} Symp. on Principles of Distributed Computing},
 pages        = {377--410},
 doi          = {10.1145/93385.93442},
)
@article(MensM15,
 author       = {I. Mens and O. 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},
)
@book(PerrinPin04,
 author       = {D. Perrin and J-E. Pin},
 year         = {2004},
 title        = {Infinite Words: Automata, Semigroups, Logic and Games},
 series       = {Pure and Applied Math},
 volume       = {141},
 publisher    = {Elsevier},
)
@inproceedings(Pnueli77,
 author       = {A. Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {FOCS},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(Rabinovich14,
 author       = {A. Rabinovich},
 year         = {2014},
 title        = {A Proof of {Kamp's} theorem},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {1},
 doi          = {10.2168/LMCS-10(1:14)2014},
)
@article(Saec90,
 author       = {B. Le Sa{\"{e}}c},
 year         = {1990},
 title        = {Saturating right congruences},
 journal      = {{ITA}},
 volume       = {24},
 pages        = {545--560},
)
@inproceedings(Schewe10,
 author       = {S. Schewe},
 year         = {2010},
 title        = {Beyond Hyper-Minimisation---Minimising {DBAs} and {DPAs} is {NP}-Complete},
 booktitle    = {{IARCS} Annual Conf. on Foundations of Software Technology and Theor. Comp. Science, {FSTTCS}},
 pages        = {400--411},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.400},
)
@article(Staiger83,
 author       = {L. Staiger},
 year         = {1983},
 title        = {Finite-State omega-Languages},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {27},
 number       = {3},
 pages        = {434--448},
 doi          = {10.1016/0022-0000(83)90051-X},
)
@article(VanSL95,
 author       = {D. Long Van and B. Le Sa{\"{e}}c and I. Litovsky},
 year         = {1995},
 title        = {Characterizations of Rational omega-Languages by Means of Right Congruences},
 journal      = {Theor. Comput. Sci.},
 volume       = {143},
 number       = {1},
 pages        = {1--21},
 doi          = {10.1016/0304-3975(95)80022-2},
)
@inproceedings(Wagner75,
 author       = {K. W. Wagner},
 year         = {1975},
 title        = {A Hierarchy of Regular Sequence Sets},
 booktitle    = {MFCS},
 pages        = {445--449},
 doi          = {10.1007/3-540-07389-2\_231},
)
@article(Wolper83,
 author       = {P. Wolper},
 year         = {1983},
 title        = {Temporal Logic Can Be More Expressive},
 journal      = {Information and Control},
 volume       = {56},
 number       = {1/2},
 pages        = {72--99},
 doi          = {10.1016/S0019-9958(83)80051-5},
)