TNT logo Zur zentralen Website der Leibniz Universität Hannover Bannerlogo des Instituts für Informationsveratbeitung

BibTex Format for Publications

@inproceedings { GriGre2017a,
  author = {Daniel Gritzner and Joel Greenyer},
  title = {Synthesizing Executable PLC Code for Robots from Scenario-based GR(1) Specifications},
  booktitle = {Proceedings of the 4th International Workshop on Model-driven Robot Software Engineering (MORSE'17), co-located with STAF 2017},
  year = {2017}