Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. Hausmann, D., Lehaut, M., & Piterman, N. In Kobayashi, N. & Worrell, J., editors, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, volume 14574, of Lecture Notes in Computer Science, pages 55–78, 2024. Springer. Paper doi bibtex @inproceedings{DBLP:conf/fossacs/HausmannLP24,
author = {Daniel Hausmann and
Mathieu Lehaut and
Nir Piterman},
editor = {Naoki Kobayashi and
James Worrell},
title = {Symbolic Solution of Emerson-Lei Games for Reactive Synthesis},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
pages = {55--78},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9\_4},
doi = {10.1007/978-3-031-57228-9\_4},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HausmannLP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"d8nc8vGKKEPc59BPo","bibbaseid":"hausmann-lehaut-piterman-symbolicsolutionofemersonleigamesforreactivesynthesis-2024","author_short":["Hausmann, D.","Lehaut, M.","Piterman, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["Mathieu"],"propositions":[],"lastnames":["Lehaut"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]}],"editor":[{"firstnames":["Naoki"],"propositions":[],"lastnames":["Kobayashi"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Worrell"],"suffixes":[]}],"title":"Symbolic Solution of Emerson-Lei Games for Reactive Synthesis","booktitle":"Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I","series":"Lecture Notes in Computer Science","volume":"14574","pages":"55–78","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-57228-9\\_4","doi":"10.1007/978-3-031-57228-9_4","timestamp":"Sun, 14 Apr 2024 18:32:17 +0200","biburl":"https://dblp.org/rec/conf/fossacs/HausmannLP24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fossacs/HausmannLP24,\n author = {Daniel Hausmann and\n Mathieu Lehaut and\n Nir Piterman},\n editor = {Naoki Kobayashi and\n James Worrell},\n title = {Symbolic Solution of Emerson-Lei Games for Reactive Synthesis},\n booktitle = {Foundations of Software Science and Computation Structures - 27th\n International Conference, FoSSaCS 2024, Held as Part of the European\n Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,\n Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},\n series = {Lecture Notes in Computer Science},\n volume = {14574},\n pages = {55--78},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-57228-9\\_4},\n doi = {10.1007/978-3-031-57228-9\\_4},\n timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},\n biburl = {https://dblp.org/rec/conf/fossacs/HausmannLP24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hausmann, D.","Lehaut, M.","Piterman, N."],"editor_short":["Kobayashi, N.","Worrell, J."],"key":"DBLP:conf/fossacs/HausmannLP24","id":"DBLP:conf/fossacs/HausmannLP24","bibbaseid":"hausmann-lehaut-piterman-symbolicsolutionofemersonleigamesforreactivesynthesis-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-57228-9\\_4"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["symbolic","solution","emerson","lei","games","reactive","synthesis","hausmann","lehaut","piterman"],"title":"Symbolic Solution of Emerson-Lei Games for Reactive Synthesis","year":2024}