@article{DBLP:journals/corr/SabuncuSS16, title = {Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective}, author = {Sabuncu, Orkunt and Schaub, Torsten and Schulz{-}Hanke, Christian}, journal = {CoRR}, volume = {abs/1611.06413}, year = {2016} }