@book(Niwinski2001,
 author       = {A. Arnold and D. Niwi\'nski},
 year         = {2001},
 title        = {Rudiments of $\mu$-Calculus},
 series       = {Studies in Logic and the Foundations of Mathematics},
 publisher    = {North-Holland},
)
@inproceedings(Bouyer08,
 author       = {P. Bouyer and U. Fahrenberg and K. G. Larsen and N. Markey and J Srba},
 year         = {2008},
 title        = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
 editor       = {F. Cassez and C. Jard},
 booktitle    = {Formal Modelling and Analysis of Timed Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {5215},
 publisher    = {Springer},
 pages        = {33--47},
 doi          = {10.1007/978-3-540-85778-5\_4},
)
@article(Chatterjee12,
 author       = {K. Chatterjee and L. Doyen},
 year         = {2012},
 title        = {Energy parity games},
 journal      = {Theor. Comput. Sci.},
 volume       = {458},
 pages        = {49 -- 60},
 doi          = {10.1016/j.tcs.2012.07.038},
)
@inproceedings(CHJ05,
 author       = {K. Chatterjee and T. A. Henzinger and M. Jurdzinski},
 year         = {2005},
 title        = {Mean-payoff parity games},
 booktitle    = {Proceedings - Symposium on Logic in Computer Science},
 volume       = {20},
 pages        = {178 -- 187},
 doi          = {10.1109/LICS.2005.26},
)
@unpublished(CirsteaLMCS,
 author       = {C{\^{\i}}rstea, C.},
 title        = {Linear Time Logics -- A Coalgebraic Perspective},
 note         = {ArXiv:1612.07844},
)
@inproceedings(Cirstea14,
 author       = {C{\^{\i}}rstea, C.},
 year         = {2014},
 title        = {A Coalgebraic Approach to Linear-Time Logics},
 editor       = {A. Muscholl},
 booktitle    = {Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS} 2014},
 series       = {Lecture Notes in Computer Science},
 volume       = {8412},
 publisher    = {Springer},
 pages        = {426--440},
 doi          = {10.1007/978-3-642-54830-7\_28},
)
@article(Cirstea17a,
 author       = {C{\^{\i}}rstea, C.},
 year         = {2017},
 title        = {From Branching to Linear Time, Coalgebraically},
 journal      = {Fundam. Inform.},
 volume       = {150},
 number       = {3-4},
 pages        = {379--406},
 doi          = {10.3233/FI-2017-1474},
)
@inproceedings(CirsteaSH17,
 author       = {C{\^{\i}}rstea, C. and S. Shimizu and I. Hasuo},
 year         = {2017},
 title        = {Parity Automata for Quantitative Linear Time Logics},
 editor       = {F. Bonchi and B. K{\"{o}}nig},
 booktitle    = {{CALCO}'17},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {72},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 pages        = {1--18},
 doi          = {10.4230/LIPIcs.CALCO.2017.7},
)
@article(FZ14d,
 author       = {N. Fijalkow and M. Zimmermann},
 year         = {2014},
 title        = {Parity and Streett Games with Costs},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 pages        = {1--29},
 doi          = {10.2168/LMCS-10(2:14)2014},
)
@proceedings(GraedelTW,
 editor       = {E. Gr{\"{a}}del and W. Thomas and T. Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: {A} Guide to Current Research},
 series       = {Lecture Notes in Computer Science},
 volume       = {2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@book(JacobsBook,
 author       = {B. Jacobs},
 year         = {2016},
 title        = {Introduction to Coalgebra. {T}owards Mathematics of States and Observations},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781316823187},
)
@inproceedings(Jurdzinski00,
 author       = {M. Jurdzi{\'{n}}ski},
 year         = {2000},
 title        = {Small Progress Measures for Solving Parity Games},
 editor       = {H. Reichel and S. Tison},
 booktitle    = {STACS 2000},
 series       = {Lecture Notes in Computer Science},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(SWZ18,
 author       = {S. Schewe and A. Weinert and M. Zimmermann},
 year         = {2018},
 title        = {{Parity Games with Weights}},
 editor       = {D. Ghica and A. Jung},
 booktitle    = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {119},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 pages        = {36:1--36:17},
 doi          = {10.4230/LIPIcs.CSL.2018.36},
)