@inproceedings{aamas18,
  author    = {Della Monica, D. and
               A. Murano},
  title     = {Parity-energy {ATL} for {Q}ualitative and
               {Q}uantitative {R}easoning in {MAS}},
  booktitle = {Proc. of the 17th International Conference
               on Autonomous Agents and
	       MultiAgent Systems (AAMAS)},
  pages     = {1441--1449},
  year      = {2018},
  address   = {Stockholm, Sweden}
}