Automata theory for multi-agent systems implementation | IEEE Conference Publication | IEEE Xplore