On Synthesis and Verification from Event Diagrams in a Robot Theatre Application. - Marek A. Perkowski; Aditya Bhutada; Martin Lukac; Mathias Sunardi (ISMVL, 2013)