@unpublished{fmlamas18,
  author    = {Della Monica, D. and
               A. Murano},
  title     = {Parity-energy {ATL} for qualitative and
               quantitative reasoning in {MAS}},
  year      = {2018},
  note      = {Workshop on Formal Methods & Logical
               Aspects of Multi-Agent Systems (FMLAMAS)}
}