Daniel Gritzner, Joel Greenyer. Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications. In Martina Seidl, Steffen Zschaler, editors, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Volume 10748 of Lecture Notes in Computer Science, pages 247-262, Springer, 2017. [doi]
@inproceedings{GritznerG17, title = {Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications}, author = {Daniel Gritzner and Joel Greenyer}, year = {2017}, doi = {10.1007/978-3-319-74730-9_23}, url = {https://doi.org/10.1007/978-3-319-74730-9_23}, researchr = {https://researchr.org/publication/GritznerG17}, cites = {0}, citedby = {0}, pages = {247-262}, booktitle = {Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers}, editor = {Martina Seidl and Steffen Zschaler}, volume = {10748}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-74730-9}, }