Marek A. Perkowski, Aditya Bhutada, Martin Lukac, Mathias Sunardi. On Synthesis and Verification from Event Diagrams in a Robot Theatre Application. In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. pages 77-83, IEEE, 2013. [doi]
Abstract is missing.