Simulating Synthesized Automata from Decentralized Specifications in LTL. - Ryoungkwo Kwon; Gihwon Kwon (FCC, 2014)