@inproceedings(10.1007/978-3-642-24372-1_2,
 author       = {S.~Almagor and O.~Kupferman},
 year         = {2011},
 title        = {Max and sum Semantics for alternating weighted automata},
 editor       = {T.~Bultan and P.~Hsiung},
 booktitle    = {Automated Technology for Verification and Analysis},
 publisher    = {Springer},
 pages        = {13--27},
 doi          = {10.1007/978-3-642-24372-1_2},
)
@inproceedings(8005101,
 author       = {M.~Benedikt and Duffm T. and A.~Sharad and J.~Worrell},
 year         = {2017},
 title        = {Polynomial automata: Zeroness and applications},
 booktitle    = {ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005101},
 url          = {https://ora.ox.ac.uk/objects/uuid:f341421b-2130-42d7-bb21-52442bad0b80#citeForm},
)
@article(BRZOZOWSKI198019,
 author       = {J.A. Brzozowski and E.~Leiss},
 year         = {1980},
 title        = {On equations for regular languages, finite automata, and sequential networks},
 journal      = {Theoretical Computer Science},
 volume       = {10},
 number       = {1},
 pages        = {19--35},
 doi          = {10.1016/0304-3975(80)90069-9},
 url          = {https://www.sciencedirect.com/science/article/pii/0304397580900699},
)
@article(alternation,
 author       = {A.~K. Chandra and D.~C. Kozen and L.~J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {J. ACM},
 volume       = {28},
 number       = {1},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@inproceedings(Chatterjee2008,
 author       = {K.~Chatterjee and L.~Doyen and T.~A. Henzinger},
 year         = {2008},
 title        = {Quantitative languages},
 editor       = {M.~Kaminski and S.~Martini},
 booktitle    = {Computer Science Logic},
 publisher    = {Springer},
 pages        = {385--400},
 doi          = {10.1007/978-3-540-87531-4_28},
)
@inproceedings(10.1007/978-3-642-03409-1_2,
 author       = {K.~Chatterjee and L.~Doyen and T.~A. Henzinger},
 year         = {2009},
 title        = {Alternating Weighted Automata},
 editor       = {M.~Kuty{\l}owski and W.~Charatonik and M.~G{\k{e}}bala},
 booktitle    = {Fundamentals of Computation Theory},
 publisher    = {Springer},
 pages        = {3--13},
 doi          = {10.1007/978-3-642-03409-1_2},
)
@article(MULLER1987267,
 author       = {E.~Muller D and P.~E. Schupp},
 year         = {1987},
 title        = {Alternating automata on infinite trees},
 journal      = {Theoretical Computer Science},
 volume       = {54},
 number       = {2},
 pages        = {267--276},
 doi          = {10.1016/0304-3975(87)90133-2},
 url          = {https://www.sciencedirect.com/science/article/pii/0304397587901332},
)
@inproceedings(DeGiacomo:2013:LTL:2540128.2540252,
 author       = {G.~De~Giacomo and M.~Y. Vardi},
 year         = {2013},
 title        = {Linear temporal logic and linear dynamic logic on finite traces},
 booktitle    = {Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence},
 publisher    = {AAAI Press},
 pages        = {854--860},
 doi          = {10.5555/2540128.2540252},
 url          = {http://dl.acm.org/citation.cfm?id=2540128.2540252},
)
@inproceedings(10.1007/978-3-662-48057-1_15,
 author       = {M.~Droste and S.~D{\"u}ck},
 year         = {2015},
 title        = {Weighted automata and logics on graphs},
 editor       = {G.~F. Italiano and G.~Pighizzini and D.~T. Sannella},
 booktitle    = {Mathematical Foundations of Computer Science 2015},
 publisher    = {Springer},
 pages        = {192--204},
 doi          = {10.1007/978-3-662-48057-1_15},
)
@article(DROSTE200769,
 author       = {M.~Droste and P.~Gastin},
 year         = {2007},
 title        = {Weighted automata and weighted logics},
 journal      = {Theoretical Computer Science},
 volume       = {380},
 number       = {1},
 pages        = {69--86},
 doi          = {10.1016/j.tcs.2007.02.055},
 url          = {https://www.sciencedirect.com/science/article/pii/S0304397507001582},
 note         = {Automata, Languages and Programming},
)
@inbook(HWAc5,
 author       = {M.~Droste and P.~Gastin},
 year         = {2009},
 title        = {Weighted Automata and Weighted Logics},
 chapter      = {5},
 volume       = {1},
 editor       = {Droste},
 doi          = {10.1007/978-3-642-01492-5_5},
)
@inproceedings(DBLP:conf/birthday/DrosteG17,
 author       = {M.~Droste and D.~G{\"{o}}tze},
 year         = {2017},
 title        = {A Nivat theorem for quantitative automata on unranked trees},
 booktitle    = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday},
 pages        = {22--35},
 doi          = {10.1007/978-3-319-63121-9\_2},
)
@book(Droste:2009:HWA:1667106,
 editor       = {M.~Droste and W.~Kuich and H.~Vogler},
 year         = {2009},
 title        = {Handbook of Weighted Automata},
 edition      = {1st},
 volume       = {1},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-01492-5},
)
@inbook(droste2013weighted,
 author       = {M.~Droste and D.~Kuske},
 year         = {2021},
 title        = {Weighted automata},
 pages        = {113\IeC{\textendash}--150},
 volume       = {1},
 editor       = {Pin},
 doi          = {10.4171/Automata-1/4},
)
@article(DROSTE2006228,
 author       = {M.~Droste and H.~Vogler},
 year         = {2006},
 title        = {Weighted tree automata and weighted logics},
 journal      = {Theoretical Computer Science},
 volume       = {366},
 number       = {3},
 pages        = {228 -- 247},
 doi          = {10.1016/j.tcs.2006.08.025},
 url          = {http://www.sciencedirect.com/science/article/pii/S0304397506005676},
 note         = {Automata and Formal Languages},
)
@article(droste2011weighted,
 author       = {M.~Droste and H.~Vogler},
 year         = {2011},
 title        = {Weighted logics for unranked tree automata},
 journal      = {Theory of Computing Systems},
 volume       = {48},
 number       = {1},
 pages        = {23--47},
 doi          = {10.1007/s00224-009-9224-4},
)
@inbook(HWAc9,
 author       = {Z.~F{\"u}l{\"o}p and H.~Vogler},
 year         = {2009},
 title        = {Weighted Tree Automata and Tree Transducers},
 chapter      = {9},
 volume       = {1},
 editor       = {Droste},
 doi          = {10.1007/978-3-642-01492-5_9},
)
@article(KOSTOLANYI20181,
 author       = {P.~Kostol\IeC{\'a}nyi and F.~Mi\IeC{\v s}\IeC{\'u}n},
 year         = {2018},
 title        = {Alternating weighted automata over commutative semirings},
 journal      = {Theoret. Comput. Sci.},
 volume       = {740},
 pages        = {1 -- 27},
 doi          = {10.1016/j.tcs.2018.05.003},
 url          = {http://www.sciencedirect.com/science/article/pii/S0304397518303098},
)
@book(realVardi1995,
 editor       = {J.~van Leeuwen},
 year         = {1995},
 title        = {Computer Science Today: Recent Trends and Developments},
 volume       = {1},
 publisher    = {Springer},
 doi          = {10.1007/BFb0015232},
)
@article(Nivat,
 author       = {M.~Nivat},
 year         = {1968},
 title        = {Transductions des langages de Chomsky},
 journal      = {Annales de l'Institut Fourier},
 volume       = {18},
 number       = {1},
 pages        = {339--455},
 doi          = {10.5802/aif.287},
 url          = {http://www.numdam.org/articles/10.5802/aif.287/},
)
@book(realdroste2013weighted,
 editor       = {Jean-\IeC{\'E}ric Pin},
 year         = {2021},
 title        = {Handbook of Automata Theory},
 edition      = {1st},
 volume       = {1},
 publisher    = {European Mathematical Society},
 doi          = {10.4171/Automata},
)
@article(SCHUTZENBERGER1961245,
 author       = {Sch\IeC{\"u}tzenberger, M.P.},
 year         = {1961},
 title        = {On the definition of a family of automata},
 journal      = {Inform. and Control},
 volume       = {4},
 number       = {2},
 pages        = {245 -- 270},
 doi          = {10.1016/S0019-9958(61)80020-X},
 url          = {http://www.sciencedirect.com/science/article/pii/S001999586180020X},
)
@inbook(Vardi1995,
 author       = {M.~Y. Vardi},
 year         = {1995},
 title        = {Alternating automata and program verification},
 pages        = {471--485},
 volume       = {1},
 editor       = {van Leeuwen},
 doi          = {10.1007/BFb0015261},
)