@article(Al:Fo,
 author       = {S. Almagor and U. Boker and O. Kupferman},
 title        = {Formally reasoning about quality},
 journal      = {J. ACM},
 volume       = {63},
 number       = {3},
 doi          = {10.1145/2875421},
)
@inproceedings(Al:Di,
 author       = {S. Almagor and U. Boker and O. Kupferman},
 year         = {2014},
 title        = {Discounting in LTL},
 editor       = {E. \'{A}brah\'{a}m and K. Havelund},
 booktitle    = {TACAS 2014},
 series       = {LNCS},
 volume       = {8413},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {424--439},
 doi          = {10.1007/978-3-642-54862-8\_37},
)
@book(Ba:Pr,
 author       = {C. Baier and J. P. Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
)
@book(Be:Ra,
 author       = {J. Berstel and C. Reutenauer},
 year         = {1988},
 title        = {Rational Series and Their Languages},
 publisher    = {Springer},
 address      = {Berlin},
 doi          = {10.1007/978-3-642-73235-5},
 url          = {http://www-igm.univ-mlv.fr/~berstel},
 note         = {(New revised English edition)},
)
@inproceedings(Bo:Av,
 author       = {P. Bouyer and N. Markey and R. M. Matteplackel},
 year         = {2014},
 title        = {Averaging in LTL},
 editor       = {P. Baldan and D. Gorla},
 booktitle    = {CONCUR 2014},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {266--280},
 doi          = {10.1007/978-3-662-44584-6\_19},
)
@article(Ch:Qu,
 author       = {K. Chatterjee and L. Doyen and T. A. Henzinger},
 year         = {2010},
 title        = {Quantitative languages},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {11},
 number       = {4},
 doi          = {10.1145/1805950.1805953},
)
@incollection(Di:Fi,
 author       = {V. Diekert and P. Gastin},
 year         = {2008},
 title        = {First-order definable languages},
 editor       = {J. Flum and E. Gr{\"{a}}del and T. Wilke},
 booktitle    = {Logic and Automata: History and Perspectives},
 series       = {Texts in Logic and Games},
 volume       = {2},
 publisher    = {Amsterdam University Press},
 pages        = {261--306},
 url          = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DG-WT08.pdf},
)
@article(Dr:We,
 author       = {M. Droste and P. Gastin},
 year         = {2007},
 title        = {Weighted automata and weighted logics},
 journal      = {Theoret. Comput. Sci.},
 volume       = {380},
 pages        = {69--86},
 doi          = {10.1016/j.tcs.2007.02.055},
)
@inbook(Dr:Wh,
 author       = {M. Droste and P. Gastin},
 year         = {2009},
 title        = {Weighted automata and weighted logics},
 chapter      = {5, in \cite{Dr:Han}},
 doi          = {10.1007/978-3-642-01492-5\_5},
)
@article(Dr:Ra,
 author       = {M. Droste and W. Kuich and G. Rahonis},
 year         = {2008},
 title        = {Multi-valued MSO logics over words and trees},
 journal      = {Fund. Inform.},
 volume       = {84},
 pages        = {305--327},
)
@book(Dr:Han,
 editor       = {M. Droste and W. Kuich and H. Vogler},
 year         = {2009},
 title        = {Handbook of Weighted Automata},
 series       = {EATCS Monographs in Theoretical Computer Science},
 publisher    = {Springer-Verlag},
 address      = {Berlin Heidelberg},
)
@incollection(Dr:Au,
 author       = {M. Droste and D. Kuske},
 title        = {Weighted automata},
 editor       = {J.-E. Pin},
 booktitle    = {Handbook: Automata: from Mathematics to Applications},
 chapter      = {4},
 url          = {http://eiche.theoinf.tu-ilmenau.de/kuske/Submitted/weighted.pdf},
 note         = {To appear.},
)
@article(Dr:Re,
 author       = {M. Droste and I. Meinecke},
 year         = {2011},
 title        = {Weighted automata and regular expressions over valuation monoids},
 journal      = {Internat. J. Found. Comput. Sci.},
 volume       = {22},
 pages        = {1829--1844},
 doi          = {10.1142/S0129054111009069},
)
@article(Dr:Av,
 author       = {M. Droste and I. Meinecke},
 year         = {2012},
 title        = {Weighted automata and weighted MSO logics for average and long-time behaviors},
 journal      = {Inform. and Comput.},
 volume       = {220-221},
 pages        = {44--59},
 doi          = {10.1016/j.ic.2012.10.001},
)
@article(Dr:Mu,
 author       = {M. Droste and H. Vogler},
 year         = {2012},
 title        = {Weighted automata and multi-valued logics over arbitrary bounded lattices},
 journal      = {Theoret. Comput. Sci.},
 volume       = {418},
 pages        = {14--36},
 doi          = {10.1016/j.tcs.2011.11.008},
)
@book(Ei:Au,
 author       = {S. Eilenberg},
 year         = {1974},
 title        = {Automata, Languages and Machines, vol. A},
 publisher    = {Academic Press.},
)
@article(Es:On,
 author       = {Z. \'{E}sik and W. Kuich},
 year         = {2007},
 title        = {On iteration semiring-semimodule pairs},
 journal      = {Semigroup Forum},
 volume       = {75},
 pages        = {129--159},
 doi          = {10.1007/s00233-007-0709-7},
)
@inbook(Es:Ha,
 author       = {Z. \'{E}sik and W. Kuich},
 year         = {2009},
 title        = {Finite automata},
 chapter      = {3, in \cite{Dr:Han}},
 doi          = {10.1007/978-3-642-01492-5\_3},
)
@inproceedings(Fa:Pa,
 author       = {P. Faymonville and M. Zimmermann},
 year         = {2014},
 title        = {Parametric linear dynamic logic},
 editor       = {A. Peron and C. Piazza},
 booktitle    = {GandALF 2014},
 series       = {EPTCS},
 volume       = {161},
 pages        = {60--73},
 doi          = {10.4204/EPTCS.161.8},
)
@incollection(Ga:Un,
 author       = {P. Gastin and B. Monmege},
 title        = {A unifying survey on weighted logics and weighted automata},
 editor       = {M. Droste and Z. \'{E}sik and K. Larsen},
 booktitle    = {Soft Computing. Special issue on Quantitative Models and Weighted Automata},
 doi          = {10.1007/s00500-015-1952-6},
 note         = {To appear},
)
@inproceedings(Gi:Sy,
 author       = {G. De Giacomo and M. Y. Vardi},
 year         = {2015},
 title        = {Synthesis for LTL and LDL on finite traces},
 booktitle    = {IJCAI 2015, IJCAI/AAAI},
 pages        = {1558--1564},
)
@inproceedings(Gi:Li,
 author       = {G. De Giacomo and M.Y. Vardi},
 year         = {2013},
 title        = {Linear temporal logic and linear dynamic logic on finite traces},
 booktitle    = {IJCAI 2013, IJCAI/AAAI},
 pages        = {854--860},
 url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997},
)
@book(Ha:Dy,
 author       = {D. Harel and D. Kozen and J. Tiuryn},
 year         = {2000},
 title        = {Dynamic Logic},
 publisher    = {MIT Press},
)
@incollection(Ku:Se,
 author       = {W. Kuich},
 year         = {1997},
 title        = {Semirings and formal power series: Their relevance to formal languages and automata theory},
 editor       = {G. Rozenberg and A. Salomaa},
 booktitle    = {Handbook of Formal Languages},
 chapter      = {9},
 volume       = {vol. 1},
 publisher    = {Springer},
 pages        = {609--677},
 doi          = {10.1007/978-3-642-59136-5\_9},
)
@inproceedings(Ku:La,
 author       = {O. Kupferman and Y. Lustig},
 year         = {2007},
 title        = {Lattice automata},
 editor       = {B. Cook and A. Podelski},
 booktitle    = {VMCI 2007},
 series       = {LNCS},
 volume       = {4349},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {199--213},
 doi          = {10.1007/978-3-540-69738-1\_14},
)
@inproceedings(La:Th,
 author       = {M. Lahijanian and S. Almagor and D. Fried and L. E. Kavraki and M. Y. Vardi},
 year         = {2015},
 title        = {This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction},
 booktitle    = {AAAI 2015},
 pages        = {3664--3671},
)
@article(La:Al,
 author       = {K. G. Larsen and R. Mardare and B. Xue},
 year         = {2015},
 title        = {Altenation-free weighted mu-calculus: Decidability and completeness},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {319},
 pages        = {289--313},
 doi          = {10.1016/j.entcs.2015.12.018},
)
@phdthesis(Ma:Ph,
 author       = {E. Mandrali},
 year         = {2013},
 title        = {Weighted Computability with Discounting},
 school       = {Aristotle University of Thessaloniki, Thessaloniki 2013.},
 url          = {http://users.auth.gr/elemandr/phdthesis_Mandrali.pdf},
)
@article(Ma:We,
 author       = {E. Mandrali and G. Rahonis},
 year         = {2014},
 title        = {On weighted first-order logics with discounting},
 journal      = {Acta Inform.},
 volume       = {51},
 pages        = {61--106},
 doi          = {10.1007/s00236-013-0193-3},
)
@article(Ma:Se,
 author       = {E. Mandrali and G. Rahonis},
 year         = {2015},
 title        = {Weighted first-order logics over semirings},
 journal      = {Acta Cybernet.},
 volume       = {22},
 pages        = {435--483},
 doi          = {10.14232/actacyb.22.2.2015.13},
)
@inproceedings(Me:We,
 author       = {I. Meinecke},
 year         = {2009},
 title        = {A weighted $\mu$-calculus on words},
 editor       = {V. Diekert and D. Nowotka},
 booktitle    = {DLT 2009},
 series       = {LNCS},
 volume       = {5583},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {384--395},
 doi          = {10.1007/978-3-642-02737-6\_31},
)
@article(Mu:No,
 author       = {A. Muscholl and H. Petersen},
 year         = {1996},
 title        = {A note on the commutative closure of star-free languages},
 journal      = {Inform. Process. Lett.},
 volume       = {57},
 pages        = {71--74},
 doi          = {10.1016/0020-0190(95)00187-5},
)
@inbook(Ra:Fu,
 author       = {G. Rahonis},
 year         = {2009},
 title        = {Fuzzy languages},
 chapter      = {12, in \cite{Dr:Han}},
 doi          = {10.1007/978-3-642-01492-5\_12},
)
@inbook(Sa:Han,
 author       = {J. Sakarovitch},
 year         = {2009},
 title        = {Rational and recognisable power series},
 chapter      = {4, in \cite{Dr:Han}},
 doi          = {10.1007/978-3-642-01492-5\_ 12},
)
@article(Sc:On,
 author       = {M. Sch{\"{u}}tzenberger},
 year         = {1961},
 title        = {On the definition of a family of automata},
 journal      = {Information and Control},
 volume       = {4},
 number       = {2-3},
 pages        = {245--270},
 doi          = {10.1016/S0019-9958(61)80020-X},
)
@article(Sc:Th,
 author       = {M. Sch{\"{u}}tzenberger},
 year         = {1962},
 title        = {On a theorem of R. Jungen},
 journal      = {Proc. Amer. Math. Soc.},
 volume       = {13},
 pages        = {885--890},
 doi          = {10.1090/S0002-9939-1962-0142781-7},
)
@incollection(Th:Au,
 author       = {W. Thomas},
 year         = {1994},
 title        = {Automata on infinite objects},
 editor       = {J. van Leeuwen},
 booktitle    = {Handbook of Theoretical Computer Science},
 chapter      = {4},
 volume       = {vol. B},
 publisher    = {Elsevier},
 pages        = {133--191},
)
@inproceedings(Va:Th,
 author       = {M. Y. Vardi},
 year         = {2011},
 title        = {The rise and fall of LTL},
 booktitle    = {GandALF 2011, EPTCS 54},
 doi          = {10.4204/EPTCS.54},
)