var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib\",\"theme\":\"default\",\"noTitleLinks\":\"true\",\"noIndex\":\"true\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Paolo\",\"Domenico\"],\"propositions\":[],\"lastnames\":[\"Lambiase\"],\"suffixes\":[]},{\"firstnames\":[\"Vadim\"],\"propositions\":[],\"lastnames\":[\"Malvone\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]}],\"title\":\"Dynamic Escape Game (Demonstration)\",\"booktitle\":\"AAMAS 2018\",\"pages\":\"1806–1808\",\"year\":\"2018\",\"url_paper\":\"https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf\",\"bibtex\":\"@inproceedings{DLMM18,\\n\\tauthor    = \\\"Antonio {Di Stasio} and\\n\\tPaolo Domenico Lambiase and\\n\\tVadim Malvone and\\n\\tAniello Murano\\\",\\n\\ttitle     = \\\"Dynamic  {Escape Game} {(Demonstration)}\\\",\\n\\tbooktitle = \\\"{AAMAS} 2018\\\",\\n\\tpages     = \\\"1806--1808\\\",\\n\\tyear      = \\\"2018\\\",\\n\\turl_paper = {https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf}\\n}\\n\\n\\n\",\"author_short\":[\"Di Stasio, A.\",\"Lambiase, P. D.\",\"Malvone, V.\",\"Murano, A.\"],\"key\":\"DLMM18\",\"id\":\"DLMM18\",\"bibbaseid\":\"distasio-lambiase-malvone-murano-dynamicescapegamedemonstration-2018\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]}],\"title\":\"Solving Parity Games: Explicit vs Symbolic\",\"booktitle\":\"CIAA 2018\",\"pages\":\"159–172\",\"url_paper\":\"http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf\",\"url_slides\":\"slides/ciaa18.pdf\",\"year\":\"2018\",\"bibtex\":\"@inproceedings{DMV18,\\n\\tauthor    = \\\"Antonio {Di Stasio} and\\n\\tAniello Murano and\\n\\tMoshe Y. Vardi\\\",\\n\\ttitle     = \\\"Solving {Parity Games: Explicit vs Symbolic}\\\",\\n\\tbooktitle = \\\"{CIAA} 2018\\\",\\n\\tpages     = \\\"159--172\\\",\\n\\turl_paper = {http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf},\\n\\turl_slides = {slides/ciaa18.pdf},\\n\\tyear      = \\\"2018\\\"\\n}\\n\\n\\n\",\"author_short\":[\"Di Stasio, A.\",\"Murano, A.\",\"Vardi, M. Y.\"],\"key\":\"DMV18\",\"id\":\"DMV18\",\"bibbaseid\":\"distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018\",\"role\":\"author\",\"urls\":{\" paper\":\"http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa18.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]},{\"firstnames\":[\"Sasha\"],\"propositions\":[],\"lastnames\":[\"Rubin\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]}],\"title\":\"Imperfect-Information Games and Generalized Planning\",\"booktitle\":\"IJCAI 2016\",\"pages\":\"1037–1043\",\"url_paper\":\"https://www.ijcai.org/Proceedings/16/Papers/151.pdf\",\"year\":\"2016\",\"bibtex\":\"@inproceedings{DMRD16,\\n\\tauthor    = \\\"Giuseppe {De Giacomo} and\\n\\tAniello Murano and\\n\\tSasha Rubin and\\n\\tAntonio {Di Stasio}\\\",\\n\\ttitle     = \\\"Imperfect-{Information Games and Generalized Planning}\\\",\\n\\tbooktitle = \\\"{IJCAI} 2016\\\",\\n\\tpages     = \\\"1037--1043\\\",\\n\\turl_paper = {https://www.ijcai.org/Proceedings/16/Papers/151.pdf},\\n\\tyear      = \\\"2016\\\"\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Murano, A.\",\"Rubin, S.\",\"Di Stasio, A.\"],\"key\":\"DMRD16\",\"id\":\"DMRD16\",\"bibbaseid\":\"degiacomo-murano-rubin-distasio-imperfectinformationgamesandgeneralizedplanning-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.ijcai.org/Proceedings/16/Papers/151.pdf\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"Perelli\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]}],\"title\":\"Solving Parity Games Using an Automata-Based Algorithm\",\"booktitle\":\"CIAA 2016\",\"pages\":\"64–76\",\"url_paper\":\"https://arxiv.org/pdf/1910.13765.pdf\",\"url_slides\":\"slides/ciaa16.pdf\",\"year\":\"2016\",\"bibtex\":\"@inproceedings{DMPV16,\\n\\tauthor    = \\\"Antonio Di Stasio and\\n\\tAniello Murano and\\n\\tGiuseppe Perelli and\\n\\tMoshe Y. Vardi\\\",\\n\\ttitle     = \\\"Solving {Parity Games Using an Automata-Based Algorithm}\\\",\\n\\tbooktitle = \\\"{CIAA} 2016\\\",\\n\\tpages     = \\\"64--76\\\",\\n\\turl_paper = {https://arxiv.org/pdf/1910.13765.pdf},\\n\\turl_slides = {slides/ciaa16.pdf},\\n\\tyear      = \\\"2016\\\"\\n}\\n\\n\",\"author_short\":[\"Stasio, A. D.\",\"Murano, A.\",\"Perelli, G.\",\"Vardi, M. Y.\"],\"key\":\"DMPV16\",\"id\":\"DMPV16\",\"bibbaseid\":\"stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/1910.13765.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa16.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":5,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]},{\"firstnames\":[\"Vincenzo\"],\"propositions\":[],\"lastnames\":[\"Prignano\"],\"suffixes\":[]},{\"firstnames\":[\"Loredana\"],\"propositions\":[],\"lastnames\":[\"Sorrentino\"],\"suffixes\":[]}],\"title\":\"Solving Parity Games in Scala\",\"booktitle\":\"FACS 2014\",\"pages\":\"145–161\",\"url_paper\":\"https://core.ac.uk/download/pdf/323192522.pdf\",\"url_slides\":\"slides/facs14.pdf\",\"year\":\"2014\",\"bibtex\":\"@inproceedings{DMPS14,\\n\\tauthor    = \\\"Antonio Di Stasio and\\n\\tAniello Murano and\\n\\tVincenzo Prignano and\\n\\tLoredana Sorrentino\\\",\\n\\ttitle     = \\\"Solving {Parity Games in Scala}\\\",\\n\\tbooktitle = \\\"{FACS} 2014\\\",\\n\\tpages     = \\\"145--161\\\",\\n\\turl_paper = {https://core.ac.uk/download/pdf/323192522.pdf},\\n\\turl_slides = {slides/facs14.pdf},\\n\\tyear      = \\\"2014\\\"\\n}\\n\\n\\n\",\"author_short\":[\"Stasio, A. D.\",\"Murano, A.\",\"Prignano, V.\",\"Sorrentino, L.\"],\"key\":\"DMPS14\",\"id\":\"DMPS14\",\"bibbaseid\":\"stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014\",\"role\":\"author\",\"urls\":{\" paper\":\"https://core.ac.uk/download/pdf/323192522.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/facs14.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Sasha\"],\"propositions\":[],\"lastnames\":[\"Rubin\"],\"suffixes\":[]}],\"title\":\"Pure-Past Linear Temporal and Dynamic Logic on Finite Traces\",\"booktitle\":\"IJCAI 2020\",\"pages\":\"4959–4965\",\"url_paper\":\"https://www.ijcai.org/proceedings/2020/0690.pdf\",\"url_slides\":\"slides/ijcai20.pdf\",\"year\":\"2020\",\"bibtex\":\"@inproceedings{DDFR20,\\n  author    = {Giuseppe {De Giacomo} and\\n               Antonio {Di Stasio} and\\n               Francesco Fuggitti and\\n               Sasha Rubin},\\n  title     = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},\\n  booktitle = {{IJCAI} 2020},\\n  pages     = {4959--4965},\\n  url_paper = {https://www.ijcai.org/proceedings/2020/0690.pdf},\\n  url_slides = {slides/ijcai20.pdf},\\n  year      = {2020}\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Di Stasio, A.\",\"Fuggitti, F.\",\"Rubin, S.\"],\"key\":\"DDFR20\",\"id\":\"DDFR20\",\"bibbaseid\":\"degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.ijcai.org/proceedings/2020/0690.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ijcai20.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":90,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"Two-Stage Technique for LTLf Synthesis Under LTL Assumptions\",\"booktitle\":\"KR 2020\",\"pages\":\"304–314\",\"url_paper\":\"https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf\",\"url_slides\":\"slides/kr20.pdf\",\"year\":\"2020\",\"bibtex\":\"@inproceedings{DDVZ20,\\n\\tauthor    = {Giuseppe {De Giacomo} and\\n\\tAntonio {Di Stasio} and\\n\\tMoshe Y. Vardi and\\n\\tShufang Zhu},\\n\\ttitle     = {Two-Stage Technique for LTLf Synthesis Under {LTL} Assumptions},\\n\\tbooktitle = { {KR} 2020},\\n\\tpages     = {304--314},\\n\\turl_paper = {https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf},\\n\\turl_slides = {slides/kr20.pdf},\\n\\tyear      = {2020}\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Di Stasio, A.\",\"Vardi, M. Y.\",\"Zhu, S.\"],\"key\":\"DDVZ20\",\"id\":\"DDVZ20\",\"bibbaseid\":\"degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/kr20.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":9,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"Perelli\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"Synthesis with Mandatory Stop Actions\",\"booktitle\":\"KR 2021\",\"pages\":\"237–246\",\"url_paper\":\"https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf\",\"year\":\"2021\",\"bibtex\":\"@inproceedings{DDPZ21,\\n\\tauthor    = {Giuseppe {De Giacomo} and\\n\\tAntonio {Di Stasio} and\\n\\tGiuseppe Perelli and\\n\\tShufang Zhu},\\n\\ttitle     = {Synthesis with Mandatory Stop Actions},\\n\\tbooktitle = {{KR} 2021},\\n\\tpages     = {237--246},\\n\\turl_paper = {https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf},\\n\\tyear      = {2021}\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Di Stasio, A.\",\"Perelli, G.\",\"Zhu, S.\"],\"key\":\"DDPZ21\",\"id\":\"DDPZ21\",\"bibbaseid\":\"degiacomo-distasio-perelli-zhu-synthesiswithmandatorystopactions-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Lucas\",\"M.\"],\"propositions\":[],\"lastnames\":[\"Tabajara\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis\",\"booktitle\":\"IJCAI 2021\",\"pages\":\"1852–1858\",\"url_paper\":\"https://www.ijcai.org/proceedings/2021/0255.pdf\",\"year\":\"2021\",\"bibtex\":\"@inproceedings{DDTVZ21,\\n\\tauthor    = {Giuseppe {De Giacomo} and\\n\\tAntonio {Di Stasio} and\\n\\tLucas M. Tabajara and\\n\\tMoshe Y. Vardi and\\n\\tShufang Zhu},\\n\\ttitle     = \\\"Finite-Trace and Generalized-Reactivity Specifications in Temporal\\n\\tSynthesis\\\",\\n\\tbooktitle = {{IJCAI} 2021},\\n\\tpages     = {1852--1858},\\n\\turl_paper = {https://www.ijcai.org/proceedings/2021/0255.pdf},\\n\\tyear      = {2021}\\n}\\n\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Di Stasio, A.\",\"Tabajara, L. M.\",\"Vardi, M. Y.\",\"Zhu, S.\"],\"key\":\"DDTVZ21\",\"id\":\"DDTVZ21\",\"bibbaseid\":\"degiacomo-distasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.ijcai.org/proceedings/2021/0255.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":7,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]}],\"title\":\"LTLf Synthesis Under Environment Specifications\",\"booktitle\":\"ICTCS 2022\",\"pages\":\"40–46\",\"url_paper\":\"papers/ictcs22.pdf\",\"url_slides\":\"slides/ictcs22.pdf\",\"year\":\"2022\",\"bibtex\":\"@inproceedings{DiStasio,\\n\\tauthor    = {Antonio {Di Stasio}},\\n\\ttitle     = \\\"{LTLf} Synthesis Under Environment Specifications}\\\",\\n\\tbooktitle = {{ICTCS} 2022},\\n    pages     = {40--46},\\n\\turl_paper = {papers/ictcs22.pdf},\\n\\turl_slides = {slides/ictcs22.pdf},\\n\\tyear       ={2022}\\n}\\n\\n\",\"author_short\":[\"Di Stasio, A.\"],\"key\":\"DiStasio\",\"id\":\"DiStasio\",\"bibbaseid\":\"distasio-ltlfsynthesisunderenvironmentspecifications-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/ictcs22.pdf\",\" slides\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ictcs22.pdf\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Suguman\"],\"propositions\":[],\"lastnames\":[\"Bansal\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Yong\"],\"propositions\":[],\"lastnames\":[\"Li\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"Compositional Safety LTL Synthesis\",\"booktitle\":\"VSTTE 2022\",\"year\":\"2022\",\"url_paper\":\"papers/vstte22.pdf\",\"pages\":\"1–19\",\"bibtex\":\"@inproceedings{BDDLVZ22,\\n\\tauthor    = {Suguman Bansal and Giuseppe {De Giacomo} and\\n\\tAntonio {Di Stasio} and\\n \\tYong Li and\\n\\tMoshe Y. Vardi and\\n\\tShufang Zhu},\\n\\ttitle     = {Compositional Safety LTL Synthesis},\\n\\tbooktitle = {{VSTTE} 2022},\\n\\tyear      = {2022},\\n\\turl_paper = {papers/vstte22.pdf},\\n\\tpages     = {1--19}\\n}\\n\\n\",\"author_short\":[\"Bansal, S.\",\"De Giacomo, G.\",\"Di Stasio, A.\",\"Li, Y.\",\"Vardi, M. Y.\",\"Zhu, S.\"],\"key\":\"BDDLVZ22\",\"id\":\"BDDLVZ22\",\"bibbaseid\":\"bansal-degiacomo-distasio-li-vardi-zhu-compositionalsafetyltlsynthesis-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/vstte22.pdf\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano\"],\"suffixes\":[]},{\"firstnames\":[\"Vincenzo\"],\"propositions\":[],\"lastnames\":[\"Prignano\"],\"suffixes\":[]},{\"firstnames\":[\"Loredana\"],\"propositions\":[],\"lastnames\":[\"Sorrentino\"],\"suffixes\":[]}],\"title\":\"Improving parity games in practice\",\"booktitle\":\"Annals of Mathematics and Artificial Intelligence\",\"pages\":\"551–574\",\"year\":\"2021\",\"url_paper\":\"https://link.springer.com/article/10.1007/s10472-020-09721-3\",\"bibtex\":\"@inproceedings{DMPS21,\\n  author    = {Antonio {Di Stasio} and\\n               Aniello Murano and\\n               Vincenzo Prignano and\\n               Loredana Sorrentino},\\n  title     = {Improving parity games in practice},\\n  booktitle = {{Annals of Mathematics and Artificial Intelligence}},\\n  pages     = {551--574},\\n  year      = {2021},\\n  url_paper  = {https://link.springer.com/article/10.1007/s10472-020-09721-3}\\n}\\n\\n\\n\",\"author_short\":[\"Di Stasio, A.\",\"Murano, A.\",\"Prignano, V.\",\"Sorrentino, L.\"],\"key\":\"DMPS21\",\"id\":\"DMPS21\",\"bibbaseid\":\"distasio-murano-prignano-sorrentino-improvingparitygamesinpractice-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://link.springer.com/article/10.1007/s10472-020-09721-3\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Antonio\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stasio\"],\"suffixes\":[]}],\"title\":\"Explicit and Symbolic Approaches for Parity Games (Short Paper)\",\"booktitle\":\"SPIRIT 2022\",\"year\":\"2022\",\"url_paper\":\"https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf\",\"bibtex\":\"@inproceedings{DiStasio3,\\n\\tauthor    = {Antonio Di Stasio},\\n\\ttitle     = {Explicit and Symbolic Approaches for Parity Games (Short Paper)},\\n\\tbooktitle = {SPIRIT 2022},\\n\\tyear      = {2022},\\n\\turl_paper  = {https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf}\\n\\n}\\n\\n\",\"author_short\":[\"Stasio, A. D.\"],\"key\":\"DiStasio3\",\"id\":\"DiStasio3\",\"bibbaseid\":\"stasio-explicitandsymbolicapproachesforparitygamesshortpaper-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"conference\",\"type\":\"conference\",\"author\":[{\"firstnames\":[\"Davide\"],\"propositions\":[],\"lastnames\":[\"Catta.\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\"],\"propositions\":[],\"lastnames\":[\"Di Stasio.\"],\"suffixes\":[]},{\"firstnames\":[\"Jean\"],\"propositions\":[],\"lastnames\":[\"Leneutre.\"],\"suffixes\":[]},{\"firstnames\":[\"Vadim\"],\"propositions\":[],\"lastnames\":[\"Malvone.\"],\"suffixes\":[]},{\"firstnames\":[\"Aniello\"],\"propositions\":[],\"lastnames\":[\"Murano.\"],\"suffixes\":[]}],\"title\":\"A Game Theoretic Approach to Attack Graphs\",\"booktitle\":\"ICAART 2023\",\"url_paper\":\"https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393\",\"pages\":\"347-354\",\"year\":\"2023\",\"bibtex\":\"@conference{icaart23,\\n\\tauthor={Davide Catta. and Antonio {Di Stasio}. and Jean Leneutre. and Vadim Malvone. and Aniello Murano.},\\n\\ttitle={A Game Theoretic Approach to Attack Graphs},\\n\\tbooktitle={ICAART 2023},\\n\\turl_paper  = {https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393},\\n\\tpages={347-354},\\n\\tyear={2023}\\n}\\n\\n\",\"author_short\":[\"Catta., D.\",\"Di Stasio., A.\",\"Leneutre., J.\",\"Malvone., V.\",\"Murano., A.\"],\"key\":\"icaart23\",\"id\":\"icaart23\",\"bibbaseid\":\"catta-distasio-leneutre-malvone-murano-agametheoreticapproachtoattackgraphs-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Giuseppe\",\"De\"],\"propositions\":[],\"lastnames\":[\"Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Lucas\",\"M.\"],\"propositions\":[],\"lastnames\":[\"Tabajara\"],\"suffixes\":[]},{\"firstnames\":[\"Moshe\",\"Y.\"],\"propositions\":[],\"lastnames\":[\"Vardi\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis\",\"url_paper\":\"https://link.springer.com/article/10.1007/s10703-023-00413-2\",\"journal\":\"Formal Methods in System Design (2023)\",\"year\":\"2023\",\"bibtex\":\"@article{fmsd2023,\\n\\tauthor    = {Giuseppe De Giacomo and\\n\\tAntonio Di Stasio and\\n\\tLucas M. Tabajara and\\n\\tMoshe Y. Vardi and\\n\\tShufang Zhu},\\n\\ttitle     = \\\"Finite-Trace and Generalized-Reactivity Specifications in Temporal\\n\\tSynthesis\\\",\\n\\turl_paper  = {https://link.springer.com/article/10.1007/s10703-023-00413-2},\\n\\tjournal = {Formal Methods in System Design (2023)},\\n\\tyear      = {2023}\\n}\\n\\n\\n\\n\",\"author_short\":[\"Giacomo, G. D.\",\"Stasio, A. D.\",\"Tabajara, L. M.\",\"Vardi, M. Y.\",\"Zhu, S.\"],\"key\":\"fmsd2023\",\"id\":\"fmsd2023\",\"bibbaseid\":\"giacomo-stasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://link.springer.com/article/10.1007/s10703-023-00413-2\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Benjamin\"],\"propositions\":[],\"lastnames\":[\"Aminof\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\",\"De\"],\"propositions\":[],\"lastnames\":[\"Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Antonio\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stasio\"],\"suffixes\":[]},{\"firstnames\":[\"Hugo\"],\"propositions\":[],\"lastnames\":[\"Francon\"],\"suffixes\":[]},{\"firstnames\":[\"Sasha\"],\"propositions\":[],\"lastnames\":[\"Rubin\"],\"suffixes\":[]},{\"firstnames\":[\"Shufang\"],\"propositions\":[],\"lastnames\":[\"Zhu\"],\"suffixes\":[]}],\"title\":\"LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties\",\"booktitle\":\"EUMAS 2023\",\"volume\":\"14282\",\"pages\":\"263–279\",\"year\":\"2023\",\"bibtex\":\"@inproceedings{AminofGSFRZ23,\\n  author       = {Benjamin Aminof and\\n                  Giuseppe De Giacomo and\\n                  Antonio Di Stasio and\\n                  Hugo Francon and\\n                  Sasha Rubin and\\n                  Shufang Zhu},\\n  title        = {LTLf Synthesis Under Environment Specifications\\n                  for Reachability and Safety Properties},\\n  booktitle    = { {EUMAS} 2023},\\n  volume       = {14282},\\n  pages        = {263--279},\\n  year         = {2023}\\n}\\n\\n\\n\\n\\n\",\"author_short\":[\"Aminof, B.\",\"Giacomo, G. D.\",\"Stasio, A. D.\",\"Francon, H.\",\"Rubin, S.\",\"Zhu, S.\"],\"key\":\"AminofGSFRZ23\",\"id\":\"AminofGSFRZ23\",\"bibbaseid\":\"aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"}],\n      metadata: {\"authorlinks\":{}},\n      ownerID: undefined\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"antonio.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7RExNTTE4LAoJYXV0aG9yICAgID0gIkFudG9uaW8ge0RpIFN0YXNpb30gYW5kCglQYW9sbyBEb21lbmljbyBMYW1iaWFzZSBhbmQKCVZhZGltIE1hbHZvbmUgYW5kCglBbmllbGxvIE11cmFubyIsCgl0aXRsZSAgICAgPSAiRHluYW1pYyAge0VzY2FwZSBHYW1lfSB7KERlbW9uc3RyYXRpb24pfSIsCglib29rdGl0bGUgPSAie0FBTUFTfSAyMDE4IiwKCXBhZ2VzICAgICA9ICIxODA2LS0xODA4IiwKCXllYXIgICAgICA9ICIyMDE4IiwKCXVybF9wYXBlciA9IHtodHRwczovL3d3dy5pZmFhbWFzLm9yZy9Qcm9jZWVkaW5ncy9hYW1hczIwMTgvcGRmcy9wMTgwNi5wZGZ9Cn0KCgoKCkBpbnByb2NlZWRpbmdze0RNVjE4LAoJYXV0aG9yICAgID0gIkFudG9uaW8ge0RpIFN0YXNpb30gYW5kCglBbmllbGxvIE11cmFubyBhbmQKCU1vc2hlIFkuIFZhcmRpIiwKCXRpdGxlICAgICA9ICJTb2x2aW5nIHtQYXJpdHkgR2FtZXM6IEV4cGxpY2l0IHZzIFN5bWJvbGljfSIsCglib29rdGl0bGUgPSAie0NJQUF9IDIwMTgiLAoJcGFnZXMgICAgID0gIjE1OS0tMTcyIiwKCXVybF9wYXBlciA9IHtodHRwOi8vcGVvcGxlLm5hLmluZm4uaXQvfm11cmFuby9wdWJibGljYXppb25pL0NJQUEyMDE4LnBkZn0sCgl1cmxfc2xpZGVzID0ge3NsaWRlcy9jaWFhMTgucGRmfSwKCXllYXIgICAgICA9ICIyMDE4Igp9CgoKCgpAaW5wcm9jZWVkaW5nc3tETVJEMTYsCglhdXRob3IgICAgPSAiR2l1c2VwcGUge0RlIEdpYWNvbW99IGFuZAoJQW5pZWxsbyBNdXJhbm8gYW5kCglTYXNoYSBSdWJpbiBhbmQKCUFudG9uaW8ge0RpIFN0YXNpb30iLAoJdGl0bGUgICAgID0gIkltcGVyZmVjdC17SW5mb3JtYXRpb24gR2FtZXMgYW5kIEdlbmVyYWxpemVkIFBsYW5uaW5nfSIsCglib29rdGl0bGUgPSAie0lKQ0FJfSAyMDE2IiwKCXBhZ2VzICAgICA9ICIxMDM3LS0xMDQzIiwKCXVybF9wYXBlciA9IHtodHRwczovL3d3dy5pamNhaS5vcmcvUHJvY2VlZGluZ3MvMTYvUGFwZXJzLzE1MS5wZGZ9LAoJeWVhciAgICAgID0gIjIwMTYiCn0KCgoKQGlucHJvY2VlZGluZ3N7RE1QVjE2LAoJYXV0aG9yICAgID0gIkFudG9uaW8gRGkgU3Rhc2lvIGFuZAoJQW5pZWxsbyBNdXJhbm8gYW5kCglHaXVzZXBwZSBQZXJlbGxpIGFuZAoJTW9zaGUgWS4gVmFyZGkiLAoJdGl0bGUgICAgID0gIlNvbHZpbmcge1Bhcml0eSBHYW1lcyBVc2luZyBhbiBBdXRvbWF0YS1CYXNlZCBBbGdvcml0aG19IiwKCWJvb2t0aXRsZSA9ICJ7Q0lBQX0gMjAxNiIsCglwYWdlcyAgICAgPSAiNjQtLTc2IiwKCXVybF9wYXBlciA9IHtodHRwczovL2FyeGl2Lm9yZy9wZGYvMTkxMC4xMzc2NS5wZGZ9LAoJdXJsX3NsaWRlcyA9IHtzbGlkZXMvY2lhYTE2LnBkZn0sCgl5ZWFyICAgICAgPSAiMjAxNiIKfQoKCgpAaW5wcm9jZWVkaW5nc3tETVBTMTQsCglhdXRob3IgICAgPSAiQW50b25pbyBEaSBTdGFzaW8gYW5kCglBbmllbGxvIE11cmFubyBhbmQKCVZpbmNlbnpvIFByaWduYW5vIGFuZAoJTG9yZWRhbmEgU29ycmVudGlubyIsCgl0aXRsZSAgICAgPSAiU29sdmluZyB7UGFyaXR5IEdhbWVzIGluIFNjYWxhfSIsCglib29rdGl0bGUgPSAie0ZBQ1N9IDIwMTQiLAoJcGFnZXMgICAgID0gIjE0NS0tMTYxIiwKCXVybF9wYXBlciA9IHtodHRwczovL2NvcmUuYWMudWsvZG93bmxvYWQvcGRmLzMyMzE5MjUyMi5wZGZ9LAoJdXJsX3NsaWRlcyA9IHtzbGlkZXMvZmFjczE0LnBkZn0sCgl5ZWFyICAgICAgPSAiMjAxNCIKfQoKCgoKQGlucHJvY2VlZGluZ3N7RERGUjIwLAogIGF1dGhvciAgICA9IHtHaXVzZXBwZSB7RGUgR2lhY29tb30gYW5kCiAgICAgICAgICAgICAgIEFudG9uaW8ge0RpIFN0YXNpb30gYW5kCiAgICAgICAgICAgICAgIEZyYW5jZXNjbyBGdWdnaXR0aSBhbmQKICAgICAgICAgICAgICAgU2FzaGEgUnViaW59LAogIHRpdGxlICAgICA9IHtQdXJlLVBhc3QgTGluZWFyIFRlbXBvcmFsIGFuZCBEeW5hbWljIExvZ2ljIG9uIEZpbml0ZSBUcmFjZXN9LAogIGJvb2t0aXRsZSA9IHt7SUpDQUl9IDIwMjB9LAogIHBhZ2VzICAgICA9IHs0OTU5LS00OTY1fSwKICB1cmxfcGFwZXIgPSB7aHR0cHM6Ly93d3cuaWpjYWkub3JnL3Byb2NlZWRpbmdzLzIwMjAvMDY5MC5wZGZ9LAogIHVybF9zbGlkZXMgPSB7c2xpZGVzL2lqY2FpMjAucGRmfSwKICB5ZWFyICAgICAgPSB7MjAyMH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tERFZaMjAsCglhdXRob3IgICAgPSB7R2l1c2VwcGUge0RlIEdpYWNvbW99IGFuZAoJQW50b25pbyB7RGkgU3Rhc2lvfSBhbmQKCU1vc2hlIFkuIFZhcmRpIGFuZAoJU2h1ZmFuZyBaaHV9LAoJdGl0bGUgICAgID0ge1R3by1TdGFnZSBUZWNobmlxdWUgZm9yIExUTGYgU3ludGhlc2lzIFVuZGVyIHtMVEx9IEFzc3VtcHRpb25zfSwKCWJvb2t0aXRsZSA9IHsge0tSfSAyMDIwfSwKCXBhZ2VzICAgICA9IHszMDQtLTMxNH0sCgl1cmxfcGFwZXIgPSB7aHR0cHM6Ly9wcm9jZWVkaW5ncy5rci5vcmcvMjAyMC8zMS9rcjIwMjAtMDAzMS1kZS1naWFjb21vLWV0LWFsLnBkZn0sCgl1cmxfc2xpZGVzID0ge3NsaWRlcy9rcjIwLnBkZn0sCgl5ZWFyICAgICAgPSB7MjAyMH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tERFBaMjEsCglhdXRob3IgICAgPSB7R2l1c2VwcGUge0RlIEdpYWNvbW99IGFuZAoJQW50b25pbyB7RGkgU3Rhc2lvfSBhbmQKCUdpdXNlcHBlIFBlcmVsbGkgYW5kCglTaHVmYW5nIFpodX0sCgl0aXRsZSAgICAgPSB7U3ludGhlc2lzIHdpdGggTWFuZGF0b3J5IFN0b3AgQWN0aW9uc30sCglib29rdGl0bGUgPSB7e0tSfSAyMDIxfSwKCXBhZ2VzICAgICA9IHsyMzctLTI0Nn0sCgl1cmxfcGFwZXIgPSB7aHR0cHM6Ly9wcm9jZWVkaW5ncy5rci5vcmcvMjAyMS8yMy9rcjIwMjEtMDAyMy1kZS1naWFjb21vLWV0LWFsLnBkZn0sCgl5ZWFyICAgICAgPSB7MjAyMX0KfQoKCgpAaW5wcm9jZWVkaW5nc3tERFRWWjIxLAoJYXV0aG9yICAgID0ge0dpdXNlcHBlIHtEZSBHaWFjb21vfSBhbmQKCUFudG9uaW8ge0RpIFN0YXNpb30gYW5kCglMdWNhcyBNLiBUYWJhamFyYSBhbmQKCU1vc2hlIFkuIFZhcmRpIGFuZAoJU2h1ZmFuZyBaaHV9LAoJdGl0bGUgICAgID0gIkZpbml0ZS1UcmFjZSBhbmQgR2VuZXJhbGl6ZWQtUmVhY3Rpdml0eSBTcGVjaWZpY2F0aW9ucyBpbiBUZW1wb3JhbAoJU3ludGhlc2lzIiwKCWJvb2t0aXRsZSA9IHt7SUpDQUl9IDIwMjF9LAoJcGFnZXMgICAgID0gezE4NTItLTE4NTh9LAoJdXJsX3BhcGVyID0ge2h0dHBzOi8vd3d3LmlqY2FpLm9yZy9wcm9jZWVkaW5ncy8yMDIxLzAyNTUucGRmfSwKCXllYXIgICAgICA9IHsyMDIxfQp9CgoKCgpAaW5wcm9jZWVkaW5nc3tEaVN0YXNpbywKCWF1dGhvciAgICA9IHtBbnRvbmlvIHtEaSBTdGFzaW99fSwKCXRpdGxlICAgICA9ICJ7TFRMZn0gU3ludGhlc2lzIFVuZGVyIEVudmlyb25tZW50IFNwZWNpZmljYXRpb25zfSIsCglib29rdGl0bGUgPSB7e0lDVENTfSAyMDIyfSwKICAgIHBhZ2VzICAgICA9IHs0MC0tNDZ9LAoJdXJsX3BhcGVyID0ge3BhcGVycy9pY3RjczIyLnBkZn0sCgl1cmxfc2xpZGVzID0ge3NsaWRlcy9pY3RjczIyLnBkZn0sCgl5ZWFyICAgICAgID17MjAyMn0KfQoKCgpAaW5wcm9jZWVkaW5nc3tCRERMVloyMiwKCWF1dGhvciAgICA9IHtTdWd1bWFuIEJhbnNhbCBhbmQgR2l1c2VwcGUge0RlIEdpYWNvbW99IGFuZAoJQW50b25pbyB7RGkgU3Rhc2lvfSBhbmQKIAlZb25nIExpIGFuZAoJTW9zaGUgWS4gVmFyZGkgYW5kCglTaHVmYW5nIFpodX0sCgl0aXRsZSAgICAgPSB7Q29tcG9zaXRpb25hbCBTYWZldHkgTFRMIFN5bnRoZXNpc30sCglib29rdGl0bGUgPSB7e1ZTVFRFfSAyMDIyfSwKCXllYXIgICAgICA9IHsyMDIyfSwKCXVybF9wYXBlciA9IHtwYXBlcnMvdnN0dGUyMi5wZGZ9LAoJcGFnZXMgICAgID0gezEtLTE5fQp9CgoKCkBpbnByb2NlZWRpbmdze0RNUFMyMSwKICBhdXRob3IgICAgPSB7QW50b25pbyB7RGkgU3Rhc2lvfSBhbmQKICAgICAgICAgICAgICAgQW5pZWxsbyBNdXJhbm8gYW5kCiAgICAgICAgICAgICAgIFZpbmNlbnpvIFByaWduYW5vIGFuZAogICAgICAgICAgICAgICBMb3JlZGFuYSBTb3JyZW50aW5vfSwKICB0aXRsZSAgICAgPSB7SW1wcm92aW5nIHBhcml0eSBnYW1lcyBpbiBwcmFjdGljZX0sCiAgYm9va3RpdGxlID0ge3tBbm5hbHMgb2YgTWF0aGVtYXRpY3MgYW5kIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlfX0sCiAgcGFnZXMgICAgID0gezU1MS0tNTc0fSwKICB5ZWFyICAgICAgPSB7MjAyMX0sCiAgdXJsX3BhcGVyICA9IHtodHRwczovL2xpbmsuc3ByaW5nZXIuY29tL2FydGljbGUvMTAuMTAwNy9zMTA0NzItMDIwLTA5NzIxLTN9Cn0KCgoKCkBpbnByb2NlZWRpbmdze0RpU3Rhc2lvMywKCWF1dGhvciAgICA9IHtBbnRvbmlvIERpIFN0YXNpb30sCgl0aXRsZSAgICAgPSB7RXhwbGljaXQgYW5kIFN5bWJvbGljIEFwcHJvYWNoZXMgZm9yIFBhcml0eSBHYW1lcyAoU2hvcnQgUGFwZXIpfSwKCWJvb2t0aXRsZSA9IHtTUElSSVQgMjAyMn0sCgl5ZWFyICAgICAgPSB7MjAyMn0sCgl1cmxfcGFwZXIgID0ge2h0dHBzOi8vY2V1ci13cy5vcmcvVm9sLTMzNDUvcGFwZXIxNV9TcGlyaXQ0LnBkZn0KCn0KCgoKQGNvbmZlcmVuY2V7aWNhYXJ0MjMsCglhdXRob3I9e0RhdmlkZSBDYXR0YS4gYW5kIEFudG9uaW8ge0RpIFN0YXNpb30uIGFuZCBKZWFuIExlbmV1dHJlLiBhbmQgVmFkaW0gTWFsdm9uZS4gYW5kIEFuaWVsbG8gTXVyYW5vLn0sCgl0aXRsZT17QSBHYW1lIFRoZW9yZXRpYyBBcHByb2FjaCB0byBBdHRhY2sgR3JhcGhzfSwKCWJvb2t0aXRsZT17SUNBQVJUIDIwMjN9LAoJdXJsX3BhcGVyICA9IHtodHRwczovL3d3dy5zY2l0ZXByZXNzLm9yZy9MaW5rLmFzcHg/ZG9pPTEwLjUyMjAvMDAxMTc3NjkwMDAwMzM5M30sCglwYWdlcz17MzQ3LTM1NH0sCgl5ZWFyPXsyMDIzfQp9CgoKCkBhcnRpY2xle2Ztc2QyMDIzLAoJYXV0aG9yICAgID0ge0dpdXNlcHBlIERlIEdpYWNvbW8gYW5kCglBbnRvbmlvIERpIFN0YXNpbyBhbmQKCUx1Y2FzIE0uIFRhYmFqYXJhIGFuZAoJTW9zaGUgWS4gVmFyZGkgYW5kCglTaHVmYW5nIFpodX0sCgl0aXRsZSAgICAgPSAiRmluaXRlLVRyYWNlIGFuZCBHZW5lcmFsaXplZC1SZWFjdGl2aXR5IFNwZWNpZmljYXRpb25zIGluIFRlbXBvcmFsCglTeW50aGVzaXMiLAoJdXJsX3BhcGVyICA9IHtodHRwczovL2xpbmsuc3ByaW5nZXIuY29tL2FydGljbGUvMTAuMTAwNy9zMTA3MDMtMDIzLTAwNDEzLTJ9LAoJam91cm5hbCA9IHtGb3JtYWwgTWV0aG9kcyBpbiBTeXN0ZW0gRGVzaWduICgyMDIzKX0sCgl5ZWFyICAgICAgPSB7MjAyM30KfQoKCgoKCkBpbnByb2NlZWRpbmdze0FtaW5vZkdTRlJaMjMsCiAgYXV0aG9yICAgICAgID0ge0JlbmphbWluIEFtaW5vZiBhbmQKICAgICAgICAgICAgICAgICAgR2l1c2VwcGUgRGUgR2lhY29tbyBhbmQKICAgICAgICAgICAgICAgICAgQW50b25pbyBEaSBTdGFzaW8gYW5kCiAgICAgICAgICAgICAgICAgIEh1Z28gRnJhbmNvbiBhbmQKICAgICAgICAgICAgICAgICAgU2FzaGEgUnViaW4gYW5kCiAgICAgICAgICAgICAgICAgIFNodWZhbmcgWmh1fSwKICB0aXRsZSAgICAgICAgPSB7TFRMZiBTeW50aGVzaXMgVW5kZXIgRW52aXJvbm1lbnQgU3BlY2lmaWNhdGlvbnMKICAgICAgICAgICAgICAgICAgZm9yIFJlYWNoYWJpbGl0eSBhbmQgU2FmZXR5IFByb3BlcnRpZXN9LAogIGJvb2t0aXRsZSAgICA9IHsge0VVTUFTfSAyMDIzfSwKICB2b2x1bWUgICAgICAgPSB7MTQyODJ9LAogIHBhZ2VzICAgICAgICA9IHsyNjMtLTI3OX0sCiAgeWVhciAgICAgICAgID0gezIwMjN9Cn0KCgoKCg==\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fantoniodistasio%2Fantoniodistasio.github.io%2Fmaster%2Fantonio.bib&amp;theme=default&amp;noTitleLinks=true&amp;noIndex=true&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fantoniodistasio%2Fantoniodistasio.github.io%2Fmaster%2Fantonio.bib&amp;theme=default&amp;noTitleLinks=true&amp;noIndex=true&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2Fantoniodistasio%2Fantoniodistasio.github.io%2Fmaster%2Fantonio.bib&amp;theme=default&amp;noTitleLinks=true&amp;noIndex=true&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"catta-distasio-leneutre-malvone-murano-agametheoreticapproachtoattackgraphs-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  A Game Theoretic Approach to Attack Graphs.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Catta., D.; Di Stasio., A.; Leneutre., J.; Malvone., V.;  and Murano., A.\n</span>\n\n  \n\n</span>\n\n   2023.<!-- NOTE FROM BIBBASE: This entry has an invalid bibtex entry type: conference. Therefore, we don't know how to render it properly. Please consider fixing this. -->\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393\"\n     onclick=\"log_download('catta-distasio-leneutre-malvone-murano-agametheoreticapproachtoattackgraphs-2023', 'https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A Game Theoretic Approach to Attack Graphs [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/catta-distasio-leneutre-malvone-murano-agametheoreticapproachtoattackgraphs-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('catta-distasio-leneutre-malvone-murano-agametheoreticapproachtoattackgraphs-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@conference{icaart23,\n\tauthor={Davide Catta. and Antonio {Di Stasio}. and Jean Leneutre. and Vadim Malvone. and Aniello Murano.},\n\ttitle={A Game Theoretic Approach to Attack Graphs},\n\tbooktitle={ICAART 2023},\n\turl_paper  = {https://www.scitepress.org/Link.aspx?doi=10.5220/0011776900003393},\n\tpages={347-354},\n\tyear={2023}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"giacomo-stasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Giacomo, G. D.; Stasio, A. D.; Tabajara, L. M.; Vardi, M. Y.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  <i>Formal Methods in System Design (2023)</i>.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://link.springer.com/article/10.1007/s10703-023-00413-2\"\n     onclick=\"log_download('giacomo-stasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2023', 'https://link.springer.com/article/10.1007/s10703-023-00413-2', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/giacomo-stasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('giacomo-stasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{fmsd2023,\n\tauthor    = {Giuseppe De Giacomo and\n\tAntonio Di Stasio and\n\tLucas M. Tabajara and\n\tMoshe Y. Vardi and\n\tShufang Zhu},\n\ttitle     = &quot;Finite-Trace and Generalized-Reactivity Specifications in Temporal\n\tSynthesis&quot;,\n\turl_paper  = {https://link.springer.com/article/10.1007/s10703-023-00413-2},\n\tjournal = {Formal Methods in System Design (2023)},\n\tyear      = {2023}\n}\n\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Aminof, B.; Giacomo, G. D.; Stasio, A. D.; Francon, H.; Rubin, S.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  In <i>EUMAS 2023</i>, volume 14282, pages 263–279,  2023. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{AminofGSFRZ23,\n  author       = {Benjamin Aminof and\n                  Giuseppe De Giacomo and\n                  Antonio Di Stasio and\n                  Hugo Francon and\n                  Sasha Rubin and\n                  Shufang Zhu},\n  title        = {LTLf Synthesis Under Environment Specifications\n                  for Reachability and Safety Properties},\n  booktitle    = { {EUMAS} 2023},\n  volume       = {14282},\n  pages        = {263--279},\n  year         = {2023}\n}\n\n\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"distasio-ltlfsynthesisunderenvironmentspecifications-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  LTLf Synthesis Under Environment Specifications.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Di Stasio, A.\n</span>\n\n  \n\n</span>\n\n  In <i>ICTCS 2022</i>, pages 40–46,  2022. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/ictcs22.pdf\"\n     onclick=\"log_download('distasio-ltlfsynthesisunderenvironmentspecifications-2022', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/ictcs22.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"LTLf Synthesis Under Environment Specifications [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ictcs22.pdf\"\n     onclick=\"log_download('distasio-ltlfsynthesisunderenvironmentspecifications-2022', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ictcs22.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"LTLf Synthesis Under Environment Specifications [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/distasio-ltlfsynthesisunderenvironmentspecifications-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('distasio-ltlfsynthesisunderenvironmentspecifications-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DiStasio,\n\tauthor    = {Antonio {Di Stasio}},\n\ttitle     = &quot;{LTLf} Synthesis Under Environment Specifications}&quot;,\n\tbooktitle = {{ICTCS} 2022},\n    pages     = {40--46},\n\turl_paper = {papers/ictcs22.pdf},\n\turl_slides = {slides/ictcs22.pdf},\n\tyear       ={2022}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bansal-degiacomo-distasio-li-vardi-zhu-compositionalsafetyltlsynthesis-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Compositional Safety LTL Synthesis.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bansal, S.; De Giacomo, G.; Di Stasio, A.; Li, Y.; Vardi, M. Y.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  In <i>VSTTE 2022</i>, pages 1–19,  2022. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/vstte22.pdf\"\n     onclick=\"log_download('bansal-degiacomo-distasio-li-vardi-zhu-compositionalsafetyltlsynthesis-2022', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/papers/vstte22.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Compositional Safety LTL Synthesis [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bansal-degiacomo-distasio-li-vardi-zhu-compositionalsafetyltlsynthesis-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bansal-degiacomo-distasio-li-vardi-zhu-compositionalsafetyltlsynthesis-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BDDLVZ22,\n\tauthor    = {Suguman Bansal and Giuseppe {De Giacomo} and\n\tAntonio {Di Stasio} and\n \tYong Li and\n\tMoshe Y. Vardi and\n\tShufang Zhu},\n\ttitle     = {Compositional Safety LTL Synthesis},\n\tbooktitle = {{VSTTE} 2022},\n\tyear      = {2022},\n\turl_paper = {papers/vstte22.pdf},\n\tpages     = {1--19}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"stasio-explicitandsymbolicapproachesforparitygamesshortpaper-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Explicit and Symbolic Approaches for Parity Games (Short Paper).\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Stasio, A. D.\n</span>\n\n  \n\n</span>\n\n  In <i>SPIRIT 2022</i>,  2022. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf\"\n     onclick=\"log_download('stasio-explicitandsymbolicapproachesforparitygamesshortpaper-2022', 'https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Explicit and Symbolic Approaches for Parity Games (Short Paper) [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stasio-explicitandsymbolicapproachesforparitygamesshortpaper-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stasio-explicitandsymbolicapproachesforparitygamesshortpaper-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DiStasio3,\n\tauthor    = {Antonio Di Stasio},\n\ttitle     = {Explicit and Symbolic Approaches for Parity Games (Short Paper)},\n\tbooktitle = {SPIRIT 2022},\n\tyear      = {2022},\n\turl_paper  = {https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf}\n\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"degiacomo-distasio-perelli-zhu-synthesiswithmandatorystopactions-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Synthesis with Mandatory Stop Actions.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Di Stasio, A.; Perelli, G.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  In <i>KR 2021</i>, pages 237–246,  2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf\"\n     onclick=\"log_download('degiacomo-distasio-perelli-zhu-synthesiswithmandatorystopactions-2021', 'https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Synthesis with Mandatory Stop Actions [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-distasio-perelli-zhu-synthesiswithmandatorystopactions-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-distasio-perelli-zhu-synthesiswithmandatorystopactions-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DDPZ21,\n\tauthor    = {Giuseppe {De Giacomo} and\n\tAntonio {Di Stasio} and\n\tGiuseppe Perelli and\n\tShufang Zhu},\n\ttitle     = {Synthesis with Mandatory Stop Actions},\n\tbooktitle = {{KR} 2021},\n\tpages     = {237--246},\n\turl_paper = {https://proceedings.kr.org/2021/23/kr2021-0023-de-giacomo-et-al.pdf},\n\tyear      = {2021}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"degiacomo-distasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Di Stasio, A.; Tabajara, L. M.; Vardi, M. Y.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  In <i>IJCAI 2021</i>, pages 1852–1858,  2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.ijcai.org/proceedings/2021/0255.pdf\"\n     onclick=\"log_download('degiacomo-distasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2021', 'https://www.ijcai.org/proceedings/2021/0255.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-distasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-distasio-tabajara-vardi-zhu-finitetraceandgeneralizedreactivityspecificationsintemporalsynthesis-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DDTVZ21,\n\tauthor    = {Giuseppe {De Giacomo} and\n\tAntonio {Di Stasio} and\n\tLucas M. Tabajara and\n\tMoshe Y. Vardi and\n\tShufang Zhu},\n\ttitle     = &quot;Finite-Trace and Generalized-Reactivity Specifications in Temporal\n\tSynthesis&quot;,\n\tbooktitle = {{IJCAI} 2021},\n\tpages     = {1852--1858},\n\turl_paper = {https://www.ijcai.org/proceedings/2021/0255.pdf},\n\tyear      = {2021}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"distasio-murano-prignano-sorrentino-improvingparitygamesinpractice-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Improving parity games in practice.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Di Stasio, A.; Murano, A.; Prignano, V.;  and Sorrentino, L.\n</span>\n\n  \n\n</span>\n\n  In <i>Annals of Mathematics and Artificial Intelligence</i>, pages 551–574,  2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://link.springer.com/article/10.1007/s10472-020-09721-3\"\n     onclick=\"log_download('distasio-murano-prignano-sorrentino-improvingparitygamesinpractice-2021', 'https://link.springer.com/article/10.1007/s10472-020-09721-3', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Improving parity games in practice [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/distasio-murano-prignano-sorrentino-improvingparitygamesinpractice-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('distasio-murano-prignano-sorrentino-improvingparitygamesinpractice-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DMPS21,\n  author    = {Antonio {Di Stasio} and\n               Aniello Murano and\n               Vincenzo Prignano and\n               Loredana Sorrentino},\n  title     = {Improving parity games in practice},\n  booktitle = {{Annals of Mathematics and Artificial Intelligence}},\n  pages     = {551--574},\n  year      = {2021},\n  url_paper  = {https://link.springer.com/article/10.1007/s10472-020-09721-3}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Di Stasio, A.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>;  and Rubin, S.\n</span>\n\n  \n\n</span>\n\n  In <i>IJCAI 2020</i>, pages 4959–4965,  2020. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.ijcai.org/proceedings/2020/0690.pdf\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://www.ijcai.org/proceedings/2020/0690.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Pure-Past Linear Temporal and Dynamic Logic on Finite Traces [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ijcai20.pdf\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ijcai20.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Pure-Past Linear Temporal and Dynamic Logic on Finite Traces [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>90 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DDFR20,\n  author    = {Giuseppe {De Giacomo} and\n               Antonio {Di Stasio} and\n               Francesco Fuggitti and\n               Sasha Rubin},\n  title     = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},\n  booktitle = {{IJCAI} 2020},\n  pages     = {4959--4965},\n  url_paper = {https://www.ijcai.org/proceedings/2020/0690.pdf},\n  url_slides = {slides/ijcai20.pdf},\n  year      = {2020}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Di Stasio, A.; Vardi, M. Y.;  and Zhu, S.\n</span>\n\n  \n\n</span>\n\n  In <i>KR 2020</i>, pages 304–314,  2020. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf\"\n     onclick=\"log_download('degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020', 'https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Two-Stage Technique for LTLf Synthesis Under LTL Assumptions [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/kr20.pdf\"\n     onclick=\"log_download('degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/kr20.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Two-Stage Technique for LTLf Synthesis Under LTL Assumptions [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>9 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-distasio-vardi-zhu-twostagetechniqueforltlfsynthesisunderltlassumptions-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DDVZ20,\n\tauthor    = {Giuseppe {De Giacomo} and\n\tAntonio {Di Stasio} and\n\tMoshe Y. Vardi and\n\tShufang Zhu},\n\ttitle     = {Two-Stage Technique for LTLf Synthesis Under {LTL} Assumptions},\n\tbooktitle = { {KR} 2020},\n\tpages     = {304--314},\n\turl_paper = {https://proceedings.kr.org/2020/31/kr2020-0031-de-giacomo-et-al.pdf},\n\turl_slides = {slides/kr20.pdf},\n\tyear      = {2020}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"distasio-lambiase-malvone-murano-dynamicescapegamedemonstration-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Dynamic Escape Game (Demonstration).\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Di Stasio, A.; Lambiase, P. D.; Malvone, V.;  and Murano, A.\n</span>\n\n  \n\n</span>\n\n  In <i>AAMAS 2018</i>, pages 1806–1808,  2018. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf\"\n     onclick=\"log_download('distasio-lambiase-malvone-murano-dynamicescapegamedemonstration-2018', 'https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Dynamic Escape Game (Demonstration) [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/distasio-lambiase-malvone-murano-dynamicescapegamedemonstration-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('distasio-lambiase-malvone-murano-dynamicescapegamedemonstration-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DLMM18,\n\tauthor    = &quot;Antonio {Di Stasio} and\n\tPaolo Domenico Lambiase and\n\tVadim Malvone and\n\tAniello Murano&quot;,\n\ttitle     = &quot;Dynamic  {Escape Game} {(Demonstration)}&quot;,\n\tbooktitle = &quot;{AAMAS} 2018&quot;,\n\tpages     = &quot;1806--1808&quot;,\n\tyear      = &quot;2018&quot;,\n\turl_paper = {https://www.ifaamas.org/Proceedings/aamas2018/pdfs/p1806.pdf}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Solving Parity Games: Explicit vs Symbolic.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Di Stasio, A.; Murano, A.;  and Vardi, M. Y.\n</span>\n\n  \n\n</span>\n\n  In <i>CIAA 2018</i>, pages 159–172,  2018. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf\"\n     onclick=\"log_download('distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018', 'http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games: Explicit vs Symbolic [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa18.pdf\"\n     onclick=\"log_download('distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa18.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games: Explicit vs Symbolic [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>7 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DMV18,\n\tauthor    = &quot;Antonio {Di Stasio} and\n\tAniello Murano and\n\tMoshe Y. Vardi&quot;,\n\ttitle     = &quot;Solving {Parity Games: Explicit vs Symbolic}&quot;,\n\tbooktitle = &quot;{CIAA} 2018&quot;,\n\tpages     = &quot;159--172&quot;,\n\turl_paper = {http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf},\n\turl_slides = {slides/ciaa18.pdf},\n\tyear      = &quot;2018&quot;\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"degiacomo-murano-rubin-distasio-imperfectinformationgamesandgeneralizedplanning-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Imperfect-Information Games and Generalized Planning.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Murano, A.; Rubin, S.;  and Di Stasio, A.\n</span>\n\n  \n\n</span>\n\n  In <i>IJCAI 2016</i>, pages 1037–1043,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.ijcai.org/Proceedings/16/Papers/151.pdf\"\n     onclick=\"log_download('degiacomo-murano-rubin-distasio-imperfectinformationgamesandgeneralizedplanning-2016', 'https://www.ijcai.org/Proceedings/16/Papers/151.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Imperfect-Information Games and Generalized Planning [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-murano-rubin-distasio-imperfectinformationgamesandgeneralizedplanning-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-murano-rubin-distasio-imperfectinformationgamesandgeneralizedplanning-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DMRD16,\n\tauthor    = &quot;Giuseppe {De Giacomo} and\n\tAniello Murano and\n\tSasha Rubin and\n\tAntonio {Di Stasio}&quot;,\n\ttitle     = &quot;Imperfect-{Information Games and Generalized Planning}&quot;,\n\tbooktitle = &quot;{IJCAI} 2016&quot;,\n\tpages     = &quot;1037--1043&quot;,\n\turl_paper = {https://www.ijcai.org/Proceedings/16/Papers/151.pdf},\n\tyear      = &quot;2016&quot;\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Solving Parity Games Using an Automata-Based Algorithm.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Stasio, A. D.; Murano, A.; Perelli, G.;  and Vardi, M. Y.\n</span>\n\n  \n\n</span>\n\n  In <i>CIAA 2016</i>, pages 64–76,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/pdf/1910.13765.pdf\"\n     onclick=\"log_download('stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016', 'https://arxiv.org/pdf/1910.13765.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games Using an Automata-Based Algorithm [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa16.pdf\"\n     onclick=\"log_download('stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa16.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games Using an Automata-Based Algorithm [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>5 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stasio-murano-perelli-vardi-solvingparitygamesusinganautomatabasedalgorithm-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DMPV16,\n\tauthor    = &quot;Antonio Di Stasio and\n\tAniello Murano and\n\tGiuseppe Perelli and\n\tMoshe Y. Vardi&quot;,\n\ttitle     = &quot;Solving {Parity Games Using an Automata-Based Algorithm}&quot;,\n\tbooktitle = &quot;{CIAA} 2016&quot;,\n\tpages     = &quot;64--76&quot;,\n\turl_paper = {https://arxiv.org/pdf/1910.13765.pdf},\n\turl_slides = {slides/ciaa16.pdf},\n\tyear      = &quot;2016&quot;\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2014\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2014')\"\n      onkeypress=\"toggleGroup('group_2014')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2014</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Solving Parity Games in Scala.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Stasio, A. D.; Murano, A.; Prignano, V.;  and Sorrentino, L.\n</span>\n\n  \n\n</span>\n\n  In <i>FACS 2014</i>, pages 145–161,  2014. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://core.ac.uk/download/pdf/323192522.pdf\"\n     onclick=\"log_download('stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014', 'https://core.ac.uk/download/pdf/323192522.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games in Scala [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/facs14.pdf\"\n     onclick=\"log_download('stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014', 'https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/facs14.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Solving Parity Games in Scala [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stasio-murano-prignano-sorrentino-solvingparitygamesinscala-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DMPS14,\n\tauthor    = &quot;Antonio Di Stasio and\n\tAniello Murano and\n\tVincenzo Prignano and\n\tLoredana Sorrentino&quot;,\n\ttitle     = &quot;Solving {Parity Games in Scala}&quot;,\n\tbooktitle = &quot;{FACS} 2014&quot;,\n\tpages     = &quot;145--161&quot;,\n\turl_paper = {https://core.ac.uk/download/pdf/323192522.pdf},\n\turl_slides = {slides/facs14.pdf},\n\tyear      = &quot;2014&quot;\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);