Solving Parity Games: Explicit vs Symbolic. Stasio, A. D., Murano, A., & Vardi, M. Y. In Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings, volume 10977, of Lecture Notes in Computer Science, pages 159–172, 2018. Springer. Paper doi bibtex @inproceedings{DBLP:conf/wia/StasioMV18,
author = {Antonio Di Stasio and
Aniello Murano and
Moshe Y. Vardi},
editor = {Cezar C{\^{a}}mpeanu},
title = {Solving Parity Games: Explicit vs Symbolic},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {159--172},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_14},
doi = {10.1007/978-3-319-94812-6\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/StasioMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"T9hgioB2RMLc7FBQm","bibbaseid":"stasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018","authorIDs":[],"author_short":["Stasio, A. D.","Murano, A.","Vardi, M. Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Antonio","Di"],"propositions":[],"lastnames":["Stasio"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"editor":[{"firstnames":["Cezar"],"propositions":[],"lastnames":["Câmpeanu"],"suffixes":[]}],"title":"Solving Parity Games: Explicit vs Symbolic","booktitle":"Implementation and Application of Automata - 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"10977","pages":"159–172","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-94812-6\\_14","doi":"10.1007/978-3-319-94812-6_14","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/wia/StasioMV18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wia/StasioMV18,\n author = {Antonio Di Stasio and\n Aniello Murano and\n Moshe Y. Vardi},\n editor = {Cezar C{\\^{a}}mpeanu},\n title = {Solving Parity Games: Explicit vs Symbolic},\n booktitle = {Implementation and Application of Automata - 23rd International Conference,\n {CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10977},\n pages = {159--172},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-94812-6\\_14},\n doi = {10.1007/978-3-319-94812-6\\_14},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/wia/StasioMV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Stasio, A. D.","Murano, A.","Vardi, M. Y."],"editor_short":["Câmpeanu, C."],"key":"DBLP:conf/wia/StasioMV18","id":"DBLP:conf/wia/StasioMV18","bibbaseid":"stasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-94812-6\\_14"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","creationDate":"2020-03-01T13:35:45.414Z","downloads":0,"keywords":[],"search_terms":["solving","parity","games","explicit","symbolic","stasio","murano","vardi"],"title":"Solving Parity Games: Explicit vs Symbolic","year":2018,"dataSources":["a7J9cXfn5aGm5Rka2","z68fXjfDFHo3BzBEe","yCadZuS2CBtPZWkHc","L6Pxr9xLThfNzqGMt","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}