@INPROCEEDINGS{MPS19,
  author    = {R. Majumdar and
               N. Piterman and
               A.-K. Schmuck},
  title     = {Environmentally-Friendly {GR(1)} Synthesis},
  booktitle = {25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages     = {229-246},
  year      = {2019},
  series    = {Lecture Notes in Computer Science},
  volume    = {11428},
address = {Prague, Czech Republic},
   month = {April},
  publisher = {© Springer-Verlag},
  url_Paper = {2019/MPS19.pdf},
  keywords = {Games,Synthesis},
}

{"_id":"dPw2G4pNb4Zwcisa2","bibbaseid":"majumdar-piterman-schmuck-environmentallyfriendlygr1synthesis-2019","authorIDs":[],"author_short":["Majumdar, R.","Piterman, N.","Schmuck, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Majumdar"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["A.-K."],"propositions":[],"lastnames":["Schmuck"],"suffixes":[]}],"title":"Environmentally-Friendly GR(1) Synthesis","booktitle":"25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","pages":"229-246","year":"2019","series":"Lecture Notes in Computer Science","volume":"11428","address":"Prague, Czech Republic","month":"April","publisher":"© Springer-Verlag","url_paper":"2019/MPS19.pdf","keywords":"Games,Synthesis","bibtex":"@INPROCEEDINGS{MPS19,\n author = {R. Majumdar and\n N. Piterman and\n A.-K. Schmuck},\n title = {Environmentally-Friendly {GR(1)} Synthesis},\n booktitle = {25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},\n pages = {229-246},\n year = {2019},\n series = {Lecture Notes in Computer Science},\n volume = {11428},\naddress = {Prague, Czech Republic},\n month = {April},\n publisher = {© Springer-Verlag},\n url_Paper = {2019/MPS19.pdf},\n keywords = {Games,Synthesis},\n}\n\n","author_short":["Majumdar, R.","Piterman, N.","Schmuck, A."],"key":"MPS19","id":"MPS19","bibbaseid":"majumdar-piterman-schmuck-environmentallyfriendlygr1synthesis-2019","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~piterman/publications/2019/MPS19.pdf"},"keyword":["Games","Synthesis"],"metadata":{"authorlinks":{}},"downloads":11,"html":""},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","creationDate":"2020-05-20T12:56:32.305Z","downloads":11,"keywords":["games","synthesis"],"search_terms":["environmentally","friendly","synthesis","majumdar","piterman","schmuck"],"title":"Environmentally-Friendly GR(1) Synthesis","year":2019,"dataSources":["iy3Nfbwfry75yLtD7","ec7btnN2RJ3DQyXEw","dBCbAowrXBj8Z9xpg"]}