TNT logo LUH TNT

BibTex Format for Publications

@inproceedings { GriGre2018,
  author = {Daniel Gritzner and Joel Greenyer},
  title = {Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications},
  booktitle = {Modellierung 2018},
  year = {2018},
  pages = {167-182}
}


Back