TY  - RPRT
TI  - Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
AU  - Gal Amram
AU  - Shahar Maoz
AU  - Or Pistiner
AU  - Jan Oliver Ringert
PY  - 2020
UR  - https://arxiv.org/abs/2005.00641
ID  - 2005.00641
ER  -