A
[AMP+20] Gal Amram, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert. Energy μ-Calculus: Symbolic Fixed-Point Algorithms for ω-Regular Energy Games. Technical Report 2005.00641, arXiv, May 2020. 
@techreport{arxiv-AMPR,
  author =              {Amram, Gal and Maoz, Shahar and Pistiner, Or and
                         Ringert, Jan Oliver},
  title =               {Energy {{\(\mu\)}}-Calculus: Symbolic Fixed-Point
                         Algorithms for {{\(\omega\)}}-Regular Energy Games},
  number =              {2005.00641},
  year =                {2020},
  month =               may,
  institution =         {arXiv},
}
List of authors