Čapkovič, F. (2010). Automatic Control Synthesis for Agents and Their Cooperation in MAS. Computing and Informatics, 29(6+), 1045–1071. https://cai.type.sk/content/2010/6%2B/automatic-control-synthesis-for-agents-and-their-cooperation-in-mas/