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}
}