@InProceedings{HLP24,
  author =	 {D. Hausmann and
                  M. Lehaut and
		  N. Piterman},
  title =	 {Symbolic Solution of {E}merson-{L}ei Games for Reactive Synthesis},
  booktitle = {27th International Conference on Foundations of Software Science and Computation Structures},
  year =	 {2024},
  OPTvolume =	 {},
  series =	 {Lecture Notes in Computer Science},
  OPTpages =	 {},
  month =	 {April},
  address =	 {Luxemburg},
  publisher = {Springer},
  url_Paper = {https://hdl.handle.net/2077/80108},
  keywords = {Games,Synthesis,Temporal Logic},
}

{"_id":"d8nc8vGKKEPc59BPo","bibbaseid":"hausmann-lehaut-piterman-symbolicsolutionofemersonleigamesforreactivesynthesis-2024","author_short":["Hausmann, D.","Lehaut, M.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Lehaut"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"title":"Symbolic Solution of Emerson-Lei Games for Reactive Synthesis","booktitle":"27th International Conference on Foundations of Software Science and Computation Structures","year":"2024","optvolume":"","series":"Lecture Notes in Computer Science","optpages":"","month":"April","address":"Luxemburg","publisher":"Springer","url_paper":"https://hdl.handle.net/2077/80108","keywords":"Games,Synthesis,Temporal Logic","bibtex":"@InProceedings{HLP24,\n author =\t {D. Hausmann and\n M. Lehaut and\n\t\t N. Piterman},\n title =\t {Symbolic Solution of {E}merson-{L}ei Games for Reactive Synthesis},\n booktitle = {27th International Conference on Foundations of Software Science and Computation Structures},\n year =\t {2024},\n OPTvolume =\t {},\n series =\t {Lecture Notes in Computer Science},\n OPTpages =\t {},\n month =\t {April},\n address =\t {Luxemburg},\n publisher = {Springer},\n url_Paper = {https://hdl.handle.net/2077/80108},\n keywords = {Games,Synthesis,Temporal Logic},\n}\n\n","author_short":["Hausmann, D.","Lehaut, M.","Piterman, N."],"key":"HLP24","id":"HLP24","bibbaseid":"hausmann-lehaut-piterman-symbolicsolutionofemersonleigamesforreactivesynthesis-2024","role":"author","urls":{" paper":"https://hdl.handle.net/2077/80108"},"keyword":["Games","Synthesis","Temporal Logic"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~piterman/publications/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw","dBCbAowrXBj8Z9xpg"],"keywords":["games","synthesis","temporal logic"],"search_terms":["symbolic","solution","emerson","lei","games","reactive","synthesis","hausmann","lehaut","piterman"],"title":"Symbolic Solution of Emerson-Lei Games for Reactive Synthesis","year":2024,"downloads":2}