@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},
)