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/francescofuggitti/francescofuggitti.github.io/master/francesco.bib\",\"theme\":\"mila\",\"noTitleLinks\":\"true\",\"noIndex\":\"true\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Tathagata\"],\"propositions\":[],\"lastnames\":[\"Chakraborti\"],\"suffixes\":[]},{\"firstnames\":[\"Jungkoo\"],\"propositions\":[],\"lastnames\":[\"Kang\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Michael\"],\"propositions\":[],\"lastnames\":[\"Katz\"],\"suffixes\":[]},{\"firstnames\":[\"Shirin\"],\"propositions\":[],\"lastnames\":[\"Sohrabi\"],\"suffixes\":[]}],\"title\":\"Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction\",\"booktitle\":\"AAAI\",\"year\":\"2024\",\"note\":\"System Demonstration.\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf\",\"url_code\":\"https://github.com/IBM/lemming\",\"bibtex\":\"@inproceedings{aaai2024ckfks,\\n  author       = {Tathagata Chakraborti and\\n                  Jungkoo Kang and\\n                  Francesco Fuggitti and\\n                  Michael Katz and\\n                  Shirin Sohrabi},\\n  title        = {{Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction}},\\n  booktitle    = {{AAAI}},\\n  year         = {2024},\\n  note         = {System Demonstration.},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf},\\n  url_code     = {https://github.com/IBM/lemming},\\n}\\n\\n\",\"author_short\":[\"Chakraborti, T.\",\"Kang, J.\",\"Fuggitti, F.\",\"Katz, M.\",\"Sohrabi, S.\"],\"key\":\"aaai2024ckfks\",\"id\":\"aaai2024ckfks\",\"bibbaseid\":\"chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf\",\" code\":\"https://github.com/IBM/lemming\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Ramon\"],\"propositions\":[],\"lastnames\":[\"Fraga Pereira\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Felipe\"],\"propositions\":[],\"lastnames\":[\"Meneguzzi\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]}],\"title\":\"Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models\",\"journal\":\"Applied Intelligence\",\"year\":\"2024\",\"doi\":\"https://doi.org/10.1007/s10489-023-05087-1\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf\",\"bibtex\":\"@article{ai2024ffmd,\\n  author       = {Ramon {Fraga Pereira} and\\n                  Francesco Fuggitti and\\n                  Felipe Meneguzzi and\\n                  Giuseppe {De Giacomo}},\\n  title        = {{Temporally Extended Goal Recognition in Fully Observable Non-Deterministic\\n                  Domain Models}},\\n  journal      = {{Applied Intelligence}},\\n  year         = {2024},\\n  doi          = {https://doi.org/10.1007/s10489-023-05087-1},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf},\\n}\\n\\n\",\"author_short\":[\"Fraga Pereira, R.\",\"Fuggitti, F.\",\"Meneguzzi, F.\",\"De Giacomo, G.\"],\"key\":\"ai2024ffmd\",\"id\":\"ai2024ffmd\",\"bibbaseid\":\"fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"phdthesis\",\"type\":\"PhD Dissertation\",\"author\":[{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]}],\"title\":\"Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces\",\"school\":\"Sapienza University & York University\",\"year\":\"2023\",\"month\":\"September\",\"url_dissertation\":\"https://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content\",\"bibtex\":\"@phdthesis{fuggitti2023phd,\\n  author  = {Francesco Fuggitti},\\n  title   = {{Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces}},\\n  school  = {Sapienza University \\\\& York University},\\n  year    = {2023},\\n  type    = {PhD Dissertation},\\n  month   = {September},\\n  url_dissertation    = {https://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content},\\n}\\n\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fuggitti2023phd\",\"id\":\"fuggitti2023phd\",\"bibbaseid\":\"fuggitti-efficienttechniquesforautomatedplanningforgoalsinlineartemporallogicsonfinitetraces-2023\",\"role\":\"author\",\"urls\":{\" dissertation\":\"https://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luigi\"],\"propositions\":[],\"lastnames\":[\"Bonassi\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Marco\"],\"propositions\":[],\"lastnames\":[\"Favorito\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Alfonso Emilio\"],\"propositions\":[],\"lastnames\":[\"Gerevini\"],\"suffixes\":[]},{\"firstnames\":[\"Enrico\"],\"propositions\":[],\"lastnames\":[\"Scala\"],\"suffixes\":[]}],\"title\":\"FOND Planning for Pure-Past Linear Temporal Logic Goals\",\"booktitle\":\"ECAI\",\"year\":\"2023\",\"pages\":\"279-286\",\"doi\":\"10.3233/FAIA230281\",\"volume\":\"372\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf\",\"url_code\":\"https://github.com/whitemech/Plan4Past\",\"bibtex\":\"@inproceedings{ecai2023bdffgs,\\n  author       = {Luigi Bonassi and\\n                  Giuseppe {De Giacomo} and\\n                  Marco Favorito and\\n                  Francesco Fuggitti and\\n                  {Alfonso Emilio} Gerevini and\\n                  Enrico Scala},\\n  title        = {{FOND} Planning for Pure-Past Linear Temporal Logic Goals},\\n  booktitle    = {{ECAI}},\\n  year         = {2023},\\n  pages        = {279-286},\\n  doi          = {10.3233/FAIA230281},\\n  volume       = {372},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf},\\n  url_code     = {https://github.com/whitemech/Plan4Past},\\n}\\n\\n\",\"author_short\":[\"Bonassi, L.\",\"De Giacomo, G.\",\"Favorito, M.\",\"Fuggitti, F.\",\"Gerevini, A.\",\"Scala, E.\"],\"key\":\"ecai2023bdffgs\",\"id\":\"ecai2023bdffgs\",\"bibbaseid\":\"bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf\",\" code\":\"https://github.com/whitemech/Plan4Past\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":12,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Jungkoo\"],\"propositions\":[],\"lastnames\":[\"Kang\"],\"suffixes\":[]},{\"firstnames\":[\"Tathagata\"],\"propositions\":[],\"lastnames\":[\"Chakraborti\"],\"suffixes\":[]},{\"firstnames\":[\"Michael\"],\"propositions\":[],\"lastnames\":[\"Katz\"],\"suffixes\":[]},{\"firstnames\":[\"Shirin\"],\"propositions\":[],\"lastnames\":[\"Sohrabi\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]}],\"title\":\"Lemming: A Tool for Guided Plan Selection using Landmarks\",\"booktitle\":\"ICAPS\",\"year\":\"2023\",\"note\":\"System Demonstration.\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf\",\"url_code\":\"https://github.com/IBM/lemming\",\"bibtex\":\"@inproceedings{icaps2023kcksf,\\n  author       = {Jungkoo Kang and\\n\\t                Tathagata Chakraborti and\\n                  Michael Katz and\\n                  Shirin Sohrabi and\\n                  Francesco Fuggitti},\\n  title        = {{Lemming}: A Tool for Guided Plan Selection using Landmarks},\\n  booktitle    = {{ICAPS}},\\n  year         = {2023},\\n  note         = {System Demonstration.},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf},\\n  url_code     = {https://github.com/IBM/lemming},\\n}\\n\\n\",\"author_short\":[\"Kang, J.\",\"Chakraborti, T.\",\"Katz, M.\",\"Sohrabi, S.\",\"Fuggitti, F.\"],\"key\":\"icaps2023kcksf\",\"id\":\"icaps2023kcksf\",\"bibbaseid\":\"kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf\",\" code\":\"https://github.com/IBM/lemming\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Tathagata\"],\"propositions\":[],\"lastnames\":[\"Chakraborti\"],\"suffixes\":[]}],\"title\":\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas\",\"booktitle\":\"ICAPS\",\"year\":\"2023\",\"note\":\"System Demonstration.\",\"bibbase_note\":\"<span style=\\\"color: red\\\">Best System Demonstration Runner-Up &#127942; &#129352;</span>\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf\",\"url_code\":\"https://github.com/IBM/nl2ltl\",\"bibtex\":\"@inproceedings{icaps2023fc,\\n  author       = {Francesco Fuggitti and Tathagata Chakraborti},\\n  title        = {{NL2LTL} -- A Python Package for Converting Natural Language ({NL}) Instructions to Linear Temporal Logic ({LTL}) Formulas},\\n  booktitle    = {{ICAPS}},\\n  year         = {2023},\\n  note         = {System Demonstration.},\\n  bibbase_note = {<span style=\\\"color: red\\\">Best System Demonstration Runner-Up &#127942; &#129352;</span>},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf},\\n  url_code     = {https://github.com/IBM/nl2ltl},\\n}\\n\\n\",\"author_short\":[\"Fuggitti, F.\",\"Chakraborti, T.\"],\"key\":\"icaps2023fc\",\"id\":\"icaps2023fc\",\"bibbaseid\":\"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf\",\" code\":\"https://github.com/IBM/nl2ltl\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":23,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Ramon\"],\"propositions\":[],\"lastnames\":[\"Fraga Pereira\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Felipe\"],\"propositions\":[],\"lastnames\":[\"Meneguzzi\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]}],\"title\":\"Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models\",\"journal\":\"CoRR\",\"volume\":\"abs/2306.08680\",\"year\":\"2023\",\"url_paper\":\"https://arxiv.org/pdf/2306.08680.pdf\",\"bibtex\":\"@article{arxiv2023ffmd,\\n  author       = {Ramon {Fraga Pereira} and\\n                  Francesco Fuggitti and\\n                  Felipe Meneguzzi and\\n                  Giuseppe {De Giacomo}},\\n  title        = {Temporally Extended Goal Recognition in Fully Observable Non-Deterministic\\n                  Domain Models},\\n  journal      = {CoRR},\\n  volume       = {abs/2306.08680},\\n  year         = {2023},\\n  url_paper    = {https://arxiv.org/pdf/2306.08680.pdf},\\n}\\n\\n\",\"author_short\":[\"Fraga Pereira, R.\",\"Fuggitti, F.\",\"Meneguzzi, F.\",\"De Giacomo, G.\"],\"key\":\"arxiv2023ffmd\",\"id\":\"arxiv2023ffmd\",\"bibbaseid\":\"fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/2306.08680.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":4,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"A Tool for Declarative Trace Alignment via Automated Planning\",\"journal\":\"Software Impacts\",\"volume\":\"16\",\"pages\":\"100505\",\"year\":\"2023\",\"issn\":\"2665-9638\",\"doi\":\"https://doi.org/10.1016/j.simpa.2023.100505\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf\",\"url_code\":\"https://github.com/whitemech/TraceAligner\",\"author\":[{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Fabrizio\",\"Maria\"],\"propositions\":[],\"lastnames\":[\"Maggi\"],\"suffixes\":[]},{\"firstnames\":[\"Andrea\"],\"propositions\":[],\"lastnames\":[\"Marrella\"],\"suffixes\":[]},{\"firstnames\":[\"Fabio\"],\"propositions\":[],\"lastnames\":[\"Patrizi\"],\"suffixes\":[]}],\"bibtex\":\"@article{si2023dfmmp,\\n    title = {A Tool for Declarative Trace Alignment via Automated Planning},\\n    journal = {Software Impacts},\\n    volume = {16},\\n    pages = {100505},\\n    year = {2023},\\n    issn = {2665-9638},\\n    doi = {https://doi.org/10.1016/j.simpa.2023.100505},\\n    url_paper = {https://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf},\\n    url_code = {https://github.com/whitemech/TraceAligner},\\n    author = {Giuseppe {De Giacomo} and Francesco Fuggitti and Fabrizio Maria Maggi and Andrea Marrella and Fabio Patrizi},\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Fuggitti, F.\",\"Maggi, F. M.\",\"Marrella, A.\",\"Patrizi, F.\"],\"key\":\"si2023dfmmp\",\"id\":\"si2023dfmmp\",\"bibbaseid\":\"degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf\",\" code\":\"https://github.com/whitemech/TraceAligner\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luigi\"],\"propositions\":[],\"lastnames\":[\"Bonassi\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Marco\"],\"propositions\":[],\"lastnames\":[\"Favorito\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Alfonso Emilio\"],\"propositions\":[],\"lastnames\":[\"Gerevini\"],\"suffixes\":[]},{\"firstnames\":[\"Enrico\"],\"propositions\":[],\"lastnames\":[\"Scala\"],\"suffixes\":[]}],\"title\":\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic\",\"booktitle\":\"ICAPS\",\"volume\":\"33\",\"doi\":\"10.1609/icaps.v33i1.27179\",\"number\":\"1\",\"month\":\"Jul.\",\"pages\":\"61-69\",\"year\":\"2023\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf\",\"url_slides\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf\",\"url_poster\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf\",\"url_code\":\"https://github.com/whitemech/Plan4Past\",\"bibbase_note\":\"<span style=\\\"color: red\\\">Best Student Paper Award &#127942; &#129351;</span>\",\"bibtex\":\"@inproceedings{icaps2023bdffgs,\\n  author       = {Luigi Bonassi and\\n                  Giuseppe {De Giacomo} and\\n                  Marco Favorito and\\n                  Francesco Fuggitti and\\n                  {Alfonso Emilio} Gerevini and\\n                  Enrico Scala},\\n  title        = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},\\n  booktitle    = {{ICAPS}},\\n  volume       = {33},\\n  doi          = {10.1609/icaps.v33i1.27179},\\n  number       = {1},\\n  month        = {Jul.},\\n  pages        = {61-69},\\n  year         = {2023},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf},\\n  url_slides   = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf},\\n  url_poster   = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf},\\n  url_code     = {https://github.com/whitemech/Plan4Past},\\n  bibbase_note = {<span style=\\\"color: red\\\">Best Student Paper Award &#127942; &#129351;</span>},\\n}\\n\\n\\n\",\"author_short\":[\"Bonassi, L.\",\"De Giacomo, G.\",\"Favorito, M.\",\"Fuggitti, F.\",\"Gerevini, A.\",\"Scala, E.\"],\"key\":\"icaps2023bdffgs\",\"id\":\"icaps2023bdffgs\",\"bibbaseid\":\"bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf\",\" slides\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf\",\" poster\":\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf\",\" code\":\"https://github.com/whitemech/Plan4Past\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":48,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Giacomo\"],\"propositions\":[],\"lastnames\":[\"Acitelli\"],\"suffixes\":[]},{\"firstnames\":[\"Giuseppe\"],\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Fabrizio Maria\"],\"propositions\":[],\"lastnames\":[\"Maggi\"],\"suffixes\":[]},{\"firstnames\":[\"Andrea\"],\"propositions\":[],\"lastnames\":[\"Marrella\"],\"suffixes\":[]},{\"firstnames\":[\"Fabio\"],\"propositions\":[],\"lastnames\":[\"Patrizi\"],\"suffixes\":[]}],\"title\":\"Declarative Trace Alignment via Automated Planning (Extended Abstract)\",\"booktitle\":\"AI4BPM at AAAI\",\"year\":\"2023\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf\",\"bibtex\":\"@inproceedings{aaai2023adfmmp,\\n  author       = {Giacomo Acitelli and\\n\\t  \\tGiuseppe {De Giacomo} and\\n\\t\\tFrancesco Fuggitti and \\n\\t\\t{Fabrizio Maria} Maggi and\\n  \\t\\tAndrea Marrella and\\n  \\t\\tFabio Patrizi},\\n  title        = {Declarative Trace Alignment via Automated Planning (Extended Abstract)},\\n  booktitle    = {{AI4BPM} at {AAAI}},\\n  year         = {2023},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf},\\n}\\n\\n\\n\",\"author_short\":[\"Acitelli, G.\",\"De Giacomo, G.\",\"Fuggitti, F.\",\"Maggi, F.\",\"Marrella, A.\",\"Patrizi, F.\"],\"key\":\"aaai2023adfmmp\",\"id\":\"aaai2023adfmmp\",\"bibbaseid\":\"acitelli-degiacomo-fuggitti-maggi-marrella-patrizi-declarativetracealignmentviaautomatedplanningextendedabstract-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":9,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]},{\"firstnames\":[\"Tathagata\"],\"propositions\":[],\"lastnames\":[\"Chakraborti\"],\"suffixes\":[]}],\"title\":\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas\",\"booktitle\":\"AAAI\",\"year\":\"2023\",\"note\":\"System Demonstration.\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf\",\"url_code\":\"https://github.com/IBM/nl2ltl\",\"bibtex\":\"@inproceedings{aaai2023fc,\\n  author       = {Francesco Fuggitti and Tathagata Chakraborti},\\n  title        = {{NL2LTL} -- A Python Package for Converting Natural Language ({NL}) Instructions to Linear Temporal Logic ({LTL}) Formulas},\\n  booktitle    = {{AAAI}},\\n  year         = {2023},\\n  note         = {System Demonstration.},\\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf},\\n  url_code     = {https://github.com/IBM/nl2ltl},\\n}\\n\\n\\n\",\"author_short\":[\"Fuggitti, F.\",\"Chakraborti, T.\"],\"key\":\"aaai2023fc\",\"id\":\"aaai2023fc\",\"bibbaseid\":\"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf\",\" code\":\"https://github.com/IBM/nl2ltl\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":23,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Tathagata\"],\"propositions\":[],\"lastnames\":[\"Chakraborti\"],\"suffixes\":[]},{\"firstnames\":[\"Yara\"],\"propositions\":[],\"lastnames\":[\"Rizk\"],\"suffixes\":[]},{\"firstnames\":[\"Vatche\"],\"propositions\":[],\"lastnames\":[\"Isahagian\"],\"suffixes\":[]},{\"firstnames\":[\"Burak\"],\"propositions\":[],\"lastnames\":[\"Aksar\"],\"suffixes\":[]},{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]}],\"title\":\"From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation\",\"booktitle\":\"RPA forum at BPM\",\"year\":\"2022\",\"publisher\":\"Springer International Publishing\",\"pages\":\"123–137\",\"doi\":\"https://doi.org/10.1007/978-3-031-16168-1_8\",\"bibtex\":\"@inproceedings{bpm2022criaf,\\nauthor={Tathagata Chakraborti\\nand Yara Rizk\\nand Vatche Isahagian\\nand Burak Aksar\\nand Francesco Fuggitti},\\ntitle={From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation},\\nbooktitle={{RPA} forum at {BPM}},\\nyear={2022},\\npublisher={Springer International Publishing},\\npages={123--137},\\ndoi={https://doi.org/10.1007/978-3-031-16168-1_8},\\n}\\n\\n\\n\",\"author_short\":[\"Chakraborti, T.\",\"Rizk, Y.\",\"Isahagian, V.\",\"Aksar, B.\",\"Fuggitti, F.\"],\"key\":\"bpm2022criaf\",\"id\":\"bpm2022criaf\",\"bibbaseid\":\"chakraborti-rizk-isahagian-aksar-fuggitti-fromnaturallanguagetoworkflowstowardsemergentintelligenceinroboticprocessautomation-2022\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning\",\"author\":[{\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"firstnames\":[\"Giuseppe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Favorito\"],\"firstnames\":[\"Marco\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"journal\":\"CoRR\",\"volume\":\"abs/2204.09960\",\"year\":\"2022\",\"month\":\"April\",\"archiveprefix\":\"arXiv\",\"eprint\":\"2204.09960\",\"primaryclass\":\"cs.AI\",\"url_paper\":\"https://arxiv.org/pdf/2204.09960.pdf\",\"url_code\":\"https://github.com/whitemech/planning-for-past-temporal-goals\",\"bibtex\":\"@article{arxiv2022dff,\\n    title = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning},\\n    author = {{De Giacomo}, Giuseppe and Favorito, Marco and Fuggitti, Francesco},\\n    journal = {CoRR},\\n    volume = {abs/2204.09960},\\n    year = {2022},\\n    month = {April},\\n    archivePrefix = {arXiv},\\n    eprint = {2204.09960},\\n    primaryClass = {cs.AI},\\n    url_paper = {https://arxiv.org/pdf/2204.09960.pdf},\\n    url_code = {https://github.com/whitemech/planning-for-past-temporal-goals},\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Favorito, M.\",\"Fuggitti, F.\"],\"key\":\"arxiv2022dff\",\"id\":\"arxiv2022dff\",\"bibbaseid\":\"degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/2204.09960.pdf\",\" code\":\"https://github.com/whitemech/planning-for-past-temporal-goals\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":37,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"firstnames\":[\"Giuseppe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"title\":\"FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service\",\"booktitle\":\"ICAPS\",\"year\":\"2021\",\"month\":\"August\",\"note\":\"System Demonstration\",\"url_paper\":\"https://icaps21.icaps-conference.org/demos/demos/388.pdf\",\"url_code\":\"https://github.com/whitemech/FOND4LTLf\",\"url_website\":\"https://fond4ltlf.herokuapp.com/\",\"url_video\":\"https://youtu.be/vYY8mmkKtQs\",\"bibtex\":\"@inproceedings{icaps2021df,\\n  author       = {{De Giacomo}, Giuseppe and Fuggitti, Francesco},\\n  title        = {FOND4LTLf: FOND Planning for {LTLf}/{PLTLf} Goals as a Service},\\n  booktitle    = {{ICAPS}},\\n  year         = {2021},\\n  month        = {August},\\n  note         = {System Demonstration},\\n  url_paper    = {https://icaps21.icaps-conference.org/demos/demos/388.pdf},\\n  url_code     = {https://github.com/whitemech/FOND4LTLf},\\n  url_website  = {https://fond4ltlf.herokuapp.com/},\\n  url_video    = {https://youtu.be/vYY8mmkKtQs},\\n}\\n\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Fuggitti, F.\"],\"key\":\"icaps2021df\",\"id\":\"icaps2021df\",\"bibbaseid\":\"degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://icaps21.icaps-conference.org/demos/demos/388.pdf\",\" code\":\"https://github.com/whitemech/FOND4LTLf\",\" website\":\"https://fond4ltlf.herokuapp.com/\",\" video\":\"https://youtu.be/vYY8mmkKtQs\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":18,\"html\":\"\"},{\"bibtype\":\"software\",\"type\":\"software\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"title\":\"FOND4LTLf\",\"month\":\"May\",\"year\":\"2021\",\"publisher\":\"Zenodo\",\"version\":\"0.0.1\",\"doi\":\"10.5281/zenodo.4876281\",\"url_code\":\"https://github.com/whitemech/FOND4LTLfPLTLf\",\"url_website\":\"https://fond4ltlf.herokuapp.com/\",\"bibtex\":\"@software{fuggitti_francesco_2021_4876281,\\n  author       = {Fuggitti, Francesco},\\n  title        = {FOND4LTLf},\\n  month        = {May},\\n  year         = {2021},\\n  publisher    = {Zenodo},\\n  version      = {0.0.1},\\n  doi          = {10.5281/zenodo.4876281},\\n  url_code    = {https://github.com/whitemech/FOND4LTLfPLTLf},\\n  url_website = {https://fond4ltlf.herokuapp.com/},\\n}\\n\\n\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fuggitti_francesco_2021_4876281\",\"id\":\"fuggitti_francesco_2021_4876281\",\"bibbaseid\":\"fuggitti-fond4ltlf-2021\",\"role\":\"author\",\"urls\":{\" code\":\"https://github.com/whitemech/FOND4LTLfPLTLf\",\" website\":\"https://fond4ltlf.herokuapp.com/\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":6,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fraga Pereira\"],\"firstnames\":[\"Ramon\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"firstnames\":[\"Giuseppe\"],\"suffixes\":[]}],\"journal\":\"CoRR\",\"volume\":\"abs/2103.11692\",\"year\":\"2021\",\"month\":\"March\",\"archiveprefix\":\"arXiv\",\"eprint\":\"2103.11692\",\"primaryclass\":\"cs.AI\",\"url_paper\":\"https://arxiv.org/pdf/2103.11692.pdf\",\"bibtex\":\"@article{arxiv2021ffd,\\n    title = {Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models},\\n    author = {{Fraga Pereira}, Ramon and Fuggitti, Francesco and {De Giacomo}, Giuseppe},\\n    journal = {CoRR},\\n    volume = {abs/2103.11692},\\n    year = {2021},\\n    month = {March},\\n    archivePrefix = {arXiv},\\n    eprint = {2103.11692},\\n    primaryClass = {cs.AI},\\n    url_paper = {https://arxiv.org/pdf/2103.11692.pdf},\\n}\\n\\n\",\"author_short\":[\"Fraga Pereira, R.\",\"Fuggitti, F.\",\"De Giacomo, G.\"],\"key\":\"arxiv2021ffd\",\"id\":\"arxiv2021ffd\",\"bibbaseid\":\"fragapereira-fuggitti-degiacomo-recognizingltlfpltlfgoalsinfullyobservablenondeterministicdomainmodels-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/2103.11692.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":29,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Pure-Past Linear Temporal and Dynamic Logic on Finite Traces\",\"author\":[{\"propositions\":[],\"lastnames\":[\"De Giacomo\"],\"firstnames\":[\"Giuseppe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Di Stasio\"],\"firstnames\":[\"Antonio\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rubin\"],\"firstnames\":[\"Sasha\"],\"suffixes\":[]}],\"booktitle\":\"IJCAI\",\"publisher\":\"IJCAI\",\"pages\":\"4959–4965\",\"year\":\"2020\",\"month\":\"7\",\"note\":\"Survey track\",\"doi\":\"10.24963/ijcai.2020/690\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.pdf\",\"url_slides\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.pdf\",\"url_poster\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.pdf\",\"url_video\":\"https://youtu.be/za2smuNoCNk\",\"bibtex\":\"@inproceedings{ijcai2020surveyddfr,\\n  title     = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},\\n  author    = {{De Giacomo}, Giuseppe and {Di Stasio}, Antonio and Fuggitti, Francesco and Rubin, Sasha},\\n  booktitle = {{IJCAI}},\\n  publisher = {{IJCAI}}, \\n  pages     = {4959--4965},\\n  year      = {2020},\\n  month     = {7},\\n  note      = {Survey track},\\n  doi       = {10.24963/ijcai.2020/690},\\n  url_paper = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.pdf},\\n  url_slides = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.pdf},\\n  url_poster = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.pdf},\\n  url_video = {https://youtu.be/za2smuNoCNk},\\n}\\n\\n\",\"author_short\":[\"De Giacomo, G.\",\"Di Stasio, A.\",\"Fuggitti, F.\",\"Rubin, S.\"],\"key\":\"ijcai2020surveyddfr\",\"id\":\"ijcai2020surveyddfr\",\"bibbaseid\":\"degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.pdf\",\" slides\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.pdf\",\" poster\":\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.pdf\",\" video\":\"https://youtu.be/za2smuNoCNk\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":90,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"FOND Planning for LTLf and PLTLf Goals (Extended Version)\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"journal\":\"CoRR\",\"volume\":\"abs/2004.07027\",\"year\":\"2020\",\"month\":\"April\",\"archiveprefix\":\"arXiv\",\"eprint\":\"2004.07027\",\"primaryclass\":\"cs.AI\",\"url_paper\":\"https://arxiv.org/pdf/2004.07027.pdf\",\"url_code\":\"https://github.com/whitemech/FOND4LTLfPLTLf\",\"url_website\":\"https://fond4ltlf.herokuapp.com\",\"bibtex\":\"@article{fond-fuggitti,\\n    title = {FOND Planning for LTLf and PLTLf Goals (Extended Version)},\\n    author = {Fuggitti, Francesco},\\n    journal = {CoRR},\\n    volume = {abs/2004.07027},\\n    year = {2020},\\n    month = {April},\\n    archivePrefix = {arXiv},\\n    eprint = {2004.07027},\\n    primaryClass = {cs.AI},\\n    url_paper = {https://arxiv.org/pdf/2004.07027.pdf},\\n    url_code = {https://github.com/whitemech/FOND4LTLfPLTLf},\\n    url_website = {https://fond4ltlf.herokuapp.com},\\n}\\n\\n\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fond-fuggitti\",\"id\":\"fond-fuggitti\",\"bibbaseid\":\"fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-2020\",\"role\":\"author\",\"urls\":{\" paper\":\"https://arxiv.org/pdf/2004.07027.pdf\",\" code\":\"https://github.com/whitemech/FOND4LTLfPLTLf\",\" website\":\"https://fond4ltlf.herokuapp.com\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":18,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"FOND Planning for LTLf and PLTLf Goals\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"booktitle\":\"ICAPS\",\"note\":\"Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances\",\"address\":\"Berkeley\",\"month\":\"July\",\"year\":\"2019\",\"url_paper\":\"https://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf\",\"url_slides\":\"https://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf\",\"bibtex\":\"@inproceedings{fuggitti-icaps19,\\n  title\\t\\t\\t\\t= {FOND Planning for LTLf and PLTLf Goals},\\n  author \\t\\t\\t= {Fuggitti, Francesco},\\n  booktitle\\t\\t\\t= {{ICAPS}},\\n  note\\t\\t\\t\\t= {Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances},\\n  address\\t\\t\\t= {Berkeley},\\n  month\\t\\t         \\t= {July},\\n  year  \\t\\t\\t= {2019},\\n  url_paper = {https://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf},\\n  url_slides = {https://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf}\\n}\\n\\n\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fuggitti-icaps19\",\"id\":\"fuggitti-icaps19\",\"bibbaseid\":\"fuggitti-fondplanningforltlfandpltlfgoals-2019\",\"role\":\"author\",\"urls\":{\" paper\":\"https://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf\",\" slides\":\"https://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"software\",\"type\":\"software\",\"author\":[{\"firstnames\":[\"Francesco\"],\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"suffixes\":[]}],\"title\":\"LTLf2DFA\",\"month\":\"March\",\"year\":\"2019\",\"publisher\":\"Zenodo\",\"version\":\"1.0.0.post0\",\"doi\":\"10.5281/zenodo.3888410\",\"url_code\":\"https://github.com/whitemech/LTLf2DFA\",\"url_website\":\"http://ltlf2dfa.diag.uniroma1.it\",\"bibtex\":\"@software{fuggitti-ltlf2dfa,\\n  author       = {Francesco Fuggitti},\\n  title        = {LTLf2DFA},\\n  month        = {March},\\n  year         = {2019},\\n  publisher    = {Zenodo},\\n  version      = {1.0.0.post0},\\n  doi          = {10.5281/zenodo.3888410},\\n  url_code    = {https://github.com/whitemech/LTLf2DFA},\\n  url_website = {http://ltlf2dfa.diag.uniroma1.it},\\n}\\n\\n\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fuggitti-ltlf2dfa\",\"id\":\"fuggitti-ltlf2dfa\",\"bibbaseid\":\"fuggitti-ltlf2dfa-2019\",\"role\":\"author\",\"urls\":{\" code\":\"https://github.com/whitemech/LTLf2DFA\",\" website\":\"http://ltlf2dfa.diag.uniroma1.it\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":16,\"html\":\"\"},{\"bibtype\":\"mastersthesis\",\"type\":\"mastersthesis\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fuggitti\"],\"firstnames\":[\"Francesco\"],\"suffixes\":[]}],\"school\":\"Sapienza University of Rome\",\"pages\":\"146\",\"title\":\"LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining\",\"year\":\"2018\",\"month\":\"October\",\"url_thesis\":\"https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf\",\"url_slides\":\"https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf\",\"bibtex\":\"@mastersthesis{fuggitti-msc-thesis,\\n    author = {Fuggitti, Francesco},\\n    school = {Sapienza University of Rome},\\n    pages = 146,\\n    title = {{LTL} and Past {LTL} on Finite Traces for Planning and Declarative Process Mining},\\n    year = 2018,\\n    month = October,\\n    url_thesis = {https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf},\\n    url_slides = {https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf}\\n}\\n\",\"author_short\":[\"Fuggitti, F.\"],\"key\":\"fuggitti-msc-thesis\",\"id\":\"fuggitti-msc-thesis\",\"bibbaseid\":\"fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-2018\",\"role\":\"author\",\"urls\":{\" thesis\":\"https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf\",\" slides\":\"https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf\"},\"metadata\":{\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\"downloads\":23,\"html\":\"\"}],\n      metadata: {\"owner\":\"fuggitti, f\",\"authorlinks\":{\"fuggitti, f\":\"https://francescofuggitti.github.io/publications.html\"}},\n      ownerID: \"tqr36ZkhpkciycBAt\"\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=\"francesco.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7YWFhaTIwMjRja2ZrcywKICBhdXRob3IgICAgICAgPSB7VGF0aGFnYXRhIENoYWtyYWJvcnRpIGFuZAogICAgICAgICAgICAgICAgICBKdW5na29vIEthbmcgYW5kCiAgICAgICAgICAgICAgICAgIEZyYW5jZXNjbyBGdWdnaXR0aSBhbmQKICAgICAgICAgICAgICAgICAgTWljaGFlbCBLYXR6IGFuZAogICAgICAgICAgICAgICAgICBTaGlyaW4gU29ocmFiaX0sCiAgdGl0bGUgICAgICAgID0ge3tJbnRlcmFjdGl2ZSBQbGFuIFNlbGVjdGlvbiB1c2luZyBMaW5lYXIgVGVtcG9yYWwgTG9naWMsIERpc2p1bmN0aXZlIEFjdGlvbiBMYW5kbWFya3MsIGFuZCBOYXR1cmFsIExhbmd1YWdlIEluc3RydWN0aW9ufX0sCiAgYm9va3RpdGxlICAgID0ge3tBQUFJfX0sCiAgeWVhciAgICAgICAgID0gezIwMjR9LAogIG5vdGUgICAgICAgICA9IHtTeXN0ZW0gRGVtb25zdHJhdGlvbi59LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyNC9hYWFpMjAyNGNrZmtzLnBkZn0sCiAgdXJsX2NvZGUgICAgID0ge2h0dHBzOi8vZ2l0aHViLmNvbS9JQk0vbGVtbWluZ30sCn0KCgoKQGFydGljbGV7YWkyMDI0ZmZtZCwKICBhdXRob3IgICAgICAgPSB7UmFtb24ge0ZyYWdhIFBlcmVpcmF9IGFuZAogICAgICAgICAgICAgICAgICBGcmFuY2VzY28gRnVnZ2l0dGkgYW5kCiAgICAgICAgICAgICAgICAgIEZlbGlwZSBNZW5lZ3V6emkgYW5kCiAgICAgICAgICAgICAgICAgIEdpdXNlcHBlIHtEZSBHaWFjb21vfX0sCiAgdGl0bGUgICAgICAgID0ge3tUZW1wb3JhbGx5IEV4dGVuZGVkIEdvYWwgUmVjb2duaXRpb24gaW4gRnVsbHkgT2JzZXJ2YWJsZSBOb24tRGV0ZXJtaW5pc3RpYwogICAgICAgICAgICAgICAgICBEb21haW4gTW9kZWxzfX0sCiAgam91cm5hbCAgICAgID0ge3tBcHBsaWVkIEludGVsbGlnZW5jZX19LAogIHllYXIgICAgICAgICA9IHsyMDI0fSwKICBkb2kgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvczEwNDg5LTAyMy0wNTA4Ny0xfSwKICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly9mcmFuY2VzY29mdWdnaXR0aS5naXRodWIuaW8vcGFwZXJzLzIwMjQvYWkyMDI0ZmZtZC5wZGZ9LAp9CgoKCkBwaGR0aGVzaXN7ZnVnZ2l0dGkyMDIzcGhkLAogIGF1dGhvciAgPSB7RnJhbmNlc2NvIEZ1Z2dpdHRpfSwKICB0aXRsZSAgID0ge3tFZmZpY2llbnQgVGVjaG5pcXVlcyBmb3IgQXV0b21hdGVkIFBsYW5uaW5nIGZvciBHb2FscyBpbiBMaW5lYXIgVGVtcG9yYWwgTG9naWNzIG9uIEZpbml0ZSBUcmFjZXN9fSwKICBzY2hvb2wgID0ge1NhcGllbnphIFVuaXZlcnNpdHkgXCYgWW9yayBVbml2ZXJzaXR5fSwKICB5ZWFyICAgID0gezIwMjN9LAogIHR5cGUgICAgPSB7UGhEIERpc3NlcnRhdGlvbn0sCiAgbW9udGggICA9IHtTZXB0ZW1iZXJ9LAogIHVybF9kaXNzZXJ0YXRpb24gICAgPSB7aHR0cHM6Ly95b3Jrc3BhY2UubGlicmFyeS55b3JrdS5jYS9zZXJ2ZXIvYXBpL2NvcmUvYml0c3RyZWFtcy9mYjkyYWRiOS02ZmU5LTQxNmQtYThlMi0zNTY3YzFhNThhNDUvY29udGVudH0sCn0KCgoKQGlucHJvY2VlZGluZ3N7ZWNhaTIwMjNiZGZmZ3MsCiAgYXV0aG9yICAgICAgID0ge0x1aWdpIEJvbmFzc2kgYW5kCiAgICAgICAgICAgICAgICAgIEdpdXNlcHBlIHtEZSBHaWFjb21vfSBhbmQKICAgICAgICAgICAgICAgICAgTWFyY28gRmF2b3JpdG8gYW5kCiAgICAgICAgICAgICAgICAgIEZyYW5jZXNjbyBGdWdnaXR0aSBhbmQKICAgICAgICAgICAgICAgICAge0FsZm9uc28gRW1pbGlvfSBHZXJldmluaSBhbmQKICAgICAgICAgICAgICAgICAgRW5yaWNvIFNjYWxhfSwKICB0aXRsZSAgICAgICAgPSB7e0ZPTkR9IFBsYW5uaW5nIGZvciBQdXJlLVBhc3QgTGluZWFyIFRlbXBvcmFsIExvZ2ljIEdvYWxzfSwKICBib29rdGl0bGUgICAgPSB7e0VDQUl9fSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgcGFnZXMgICAgICAgID0gezI3OS0yODZ9LAogIGRvaSAgICAgICAgICA9IHsxMC4zMjMzL0ZBSUEyMzAyODF9LAogIHZvbHVtZSAgICAgICA9IHszNzJ9LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9lY2FpMjAyM2JkZmZncy5wZGZ9LAogIHVybF9jb2RlICAgICA9IHtodHRwczovL2dpdGh1Yi5jb20vd2hpdGVtZWNoL1BsYW40UGFzdH0sCn0KCgoKQGlucHJvY2VlZGluZ3N7aWNhcHMyMDIza2Nrc2YsCiAgYXV0aG9yICAgICAgID0ge0p1bmdrb28gS2FuZyBhbmQKCSAgICAgICAgICAgICAgICBUYXRoYWdhdGEgQ2hha3JhYm9ydGkgYW5kCiAgICAgICAgICAgICAgICAgIE1pY2hhZWwgS2F0eiBhbmQKICAgICAgICAgICAgICAgICAgU2hpcmluIFNvaHJhYmkgYW5kCiAgICAgICAgICAgICAgICAgIEZyYW5jZXNjbyBGdWdnaXR0aX0sCiAgdGl0bGUgICAgICAgID0ge3tMZW1taW5nfTogQSBUb29sIGZvciBHdWlkZWQgUGxhbiBTZWxlY3Rpb24gdXNpbmcgTGFuZG1hcmtzfSwKICBib29rdGl0bGUgICAgPSB7e0lDQVBTfX0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIG5vdGUgICAgICAgICA9IHtTeXN0ZW0gRGVtb25zdHJhdGlvbi59LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9pY2FwczIwMjNrY2tzZi5wZGZ9LAogIHVybF9jb2RlICAgICA9IHtodHRwczovL2dpdGh1Yi5jb20vSUJNL2xlbW1pbmd9LAp9CgoKCkBpbnByb2NlZWRpbmdze2ljYXBzMjAyM2ZjLAogIGF1dGhvciAgICAgICA9IHtGcmFuY2VzY28gRnVnZ2l0dGkgYW5kIFRhdGhhZ2F0YSBDaGFrcmFib3J0aX0sCiAgdGl0bGUgICAgICAgID0ge3tOTDJMVEx9IC0tIEEgUHl0aG9uIFBhY2thZ2UgZm9yIENvbnZlcnRpbmcgTmF0dXJhbCBMYW5ndWFnZSAoe05MfSkgSW5zdHJ1Y3Rpb25zIHRvIExpbmVhciBUZW1wb3JhbCBMb2dpYyAoe0xUTH0pIEZvcm11bGFzfSwKICBib29rdGl0bGUgICAgPSB7e0lDQVBTfX0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIG5vdGUgICAgICAgICA9IHtTeXN0ZW0gRGVtb25zdHJhdGlvbi59LAogIGJpYmJhc2Vfbm90ZSA9IHs8c3BhbiBzdHlsZT0iY29sb3I6IHJlZCI+QmVzdCBTeXN0ZW0gRGVtb25zdHJhdGlvbiBSdW5uZXItVXAgJiMxMjc5NDI7ICYjMTI5MzUyOzwvc3Bhbj59LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9pY2FwczIwMjNmYy5wZGZ9LAogIHVybF9jb2RlICAgICA9IHtodHRwczovL2dpdGh1Yi5jb20vSUJNL25sMmx0bH0sCn0KCgoKQGFydGljbGV7YXJ4aXYyMDIzZmZtZCwKICBhdXRob3IgICAgICAgPSB7UmFtb24ge0ZyYWdhIFBlcmVpcmF9IGFuZAogICAgICAgICAgICAgICAgICBGcmFuY2VzY28gRnVnZ2l0dGkgYW5kCiAgICAgICAgICAgICAgICAgIEZlbGlwZSBNZW5lZ3V6emkgYW5kCiAgICAgICAgICAgICAgICAgIEdpdXNlcHBlIHtEZSBHaWFjb21vfX0sCiAgdGl0bGUgICAgICAgID0ge1RlbXBvcmFsbHkgRXh0ZW5kZWQgR29hbCBSZWNvZ25pdGlvbiBpbiBGdWxseSBPYnNlcnZhYmxlIE5vbi1EZXRlcm1pbmlzdGljCiAgICAgICAgICAgICAgICAgIERvbWFpbiBNb2RlbHN9LAogIGpvdXJuYWwgICAgICA9IHtDb1JSfSwKICB2b2x1bWUgICAgICAgPSB7YWJzLzIzMDYuMDg2ODB9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvcGRmLzIzMDYuMDg2ODAucGRmfSwKfQoKCgpAYXJ0aWNsZXtzaTIwMjNkZm1tcCwKICAgIHRpdGxlID0ge0EgVG9vbCBmb3IgRGVjbGFyYXRpdmUgVHJhY2UgQWxpZ25tZW50IHZpYSBBdXRvbWF0ZWQgUGxhbm5pbmd9LAogICAgam91cm5hbCA9IHtTb2Z0d2FyZSBJbXBhY3RzfSwKICAgIHZvbHVtZSA9IHsxNn0sCiAgICBwYWdlcyA9IHsxMDA1MDV9LAogICAgeWVhciA9IHsyMDIzfSwKICAgIGlzc24gPSB7MjY2NS05NjM4fSwKICAgIGRvaSA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAxNi9qLnNpbXBhLjIwMjMuMTAwNTA1fSwKICAgIHVybF9wYXBlciA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9zaTIwMjNkZm1tcC5wZGZ9LAogICAgdXJsX2NvZGUgPSB7aHR0cHM6Ly9naXRodWIuY29tL3doaXRlbWVjaC9UcmFjZUFsaWduZXJ9LAogICAgYXV0aG9yID0ge0dpdXNlcHBlIHtEZSBHaWFjb21vfSBhbmQgRnJhbmNlc2NvIEZ1Z2dpdHRpIGFuZCBGYWJyaXppbyBNYXJpYSBNYWdnaSBhbmQgQW5kcmVhIE1hcnJlbGxhIGFuZCBGYWJpbyBQYXRyaXppfSwKfQoKCgpAaW5wcm9jZWVkaW5nc3tpY2FwczIwMjNiZGZmZ3MsCiAgYXV0aG9yICAgICAgID0ge0x1aWdpIEJvbmFzc2kgYW5kCiAgICAgICAgICAgICAgICAgIEdpdXNlcHBlIHtEZSBHaWFjb21vfSBhbmQKICAgICAgICAgICAgICAgICAgTWFyY28gRmF2b3JpdG8gYW5kCiAgICAgICAgICAgICAgICAgIEZyYW5jZXNjbyBGdWdnaXR0aSBhbmQKICAgICAgICAgICAgICAgICAge0FsZm9uc28gRW1pbGlvfSBHZXJldmluaSBhbmQKICAgICAgICAgICAgICAgICAgRW5yaWNvIFNjYWxhfSwKICB0aXRsZSAgICAgICAgPSB7UGxhbm5pbmcgZm9yIFRlbXBvcmFsbHkgRXh0ZW5kZWQgR29hbHMgaW4gUHVyZS1QYXN0IExpbmVhciBUZW1wb3JhbCBMb2dpY30sCiAgYm9va3RpdGxlICAgID0ge3tJQ0FQU319LAogIHZvbHVtZSAgICAgICA9IHszM30sCiAgZG9pICAgICAgICAgID0gezEwLjE2MDkvaWNhcHMudjMzaTEuMjcxNzl9LAogIG51bWJlciAgICAgICA9IHsxfSwKICBtb250aCAgICAgICAgPSB7SnVsLn0sCiAgcGFnZXMgICAgICAgID0gezYxLTY5fSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vZnJhbmNlc2NvZnVnZ2l0dGkuZ2l0aHViLmlvL3BhcGVycy8yMDIzL2ljYXBzMjAyM2JkZmZncy5wZGZ9LAogIHVybF9zbGlkZXMgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9pY2FwczIwMjNiZGZmZ3Nfc2xpZGVzLnBkZn0sCiAgdXJsX3Bvc3RlciAgID0ge2h0dHBzOi8vZnJhbmNlc2NvZnVnZ2l0dGkuZ2l0aHViLmlvL3BhcGVycy8yMDIzL2ljYXBzMjAyM2JkZmZnc19wb3N0ZXIucGRmfSwKICB1cmxfY29kZSAgICAgPSB7aHR0cHM6Ly9naXRodWIuY29tL3doaXRlbWVjaC9QbGFuNFBhc3R9LAogIGJpYmJhc2Vfbm90ZSA9IHs8c3BhbiBzdHlsZT0iY29sb3I6IHJlZCI+QmVzdCBTdHVkZW50IFBhcGVyIEF3YXJkICYjMTI3OTQyOyAmIzEyOTM1MTs8L3NwYW4+fSwKfQoKCgoKQGlucHJvY2VlZGluZ3N7YWFhaTIwMjNhZGZtbXAsCiAgYXV0aG9yICAgICAgID0ge0dpYWNvbW8gQWNpdGVsbGkgYW5kCgkgIAlHaXVzZXBwZSB7RGUgR2lhY29tb30gYW5kCgkJRnJhbmNlc2NvIEZ1Z2dpdHRpIGFuZCAKCQl7RmFicml6aW8gTWFyaWF9IE1hZ2dpIGFuZAogIAkJQW5kcmVhIE1hcnJlbGxhIGFuZAogIAkJRmFiaW8gUGF0cml6aX0sCiAgdGl0bGUgICAgICAgID0ge0RlY2xhcmF0aXZlIFRyYWNlIEFsaWdubWVudCB2aWEgQXV0b21hdGVkIFBsYW5uaW5nIChFeHRlbmRlZCBBYnN0cmFjdCl9LAogIGJvb2t0aXRsZSAgICA9IHt7QUk0QlBNfSBhdCB7QUFBSX19LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly9mcmFuY2VzY29mdWdnaXR0aS5naXRodWIuaW8vcGFwZXJzLzIwMjMvYWFhaTIwMjNhZGZtbXAucGRmfSwKfQoKCgoKQGlucHJvY2VlZGluZ3N7YWFhaTIwMjNmYywKICBhdXRob3IgICAgICAgPSB7RnJhbmNlc2NvIEZ1Z2dpdHRpIGFuZCBUYXRoYWdhdGEgQ2hha3JhYm9ydGl9LAogIHRpdGxlICAgICAgICA9IHt7TkwyTFRMfSAtLSBBIFB5dGhvbiBQYWNrYWdlIGZvciBDb252ZXJ0aW5nIE5hdHVyYWwgTGFuZ3VhZ2UgKHtOTH0pIEluc3RydWN0aW9ucyB0byBMaW5lYXIgVGVtcG9yYWwgTG9naWMgKHtMVEx9KSBGb3JtdWxhc30sCiAgYm9va3RpdGxlICAgID0ge3tBQUFJfX0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIG5vdGUgICAgICAgICA9IHtTeXN0ZW0gRGVtb25zdHJhdGlvbi59LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMy9hYWFpMjAyM2ZjLnBkZn0sCiAgdXJsX2NvZGUgICAgID0ge2h0dHBzOi8vZ2l0aHViLmNvbS9JQk0vbmwybHRsfSwKfQoKCgoKQGlucHJvY2VlZGluZ3N7YnBtMjAyMmNyaWFmLAphdXRob3I9e1RhdGhhZ2F0YSBDaGFrcmFib3J0aQphbmQgWWFyYSBSaXprCmFuZCBWYXRjaGUgSXNhaGFnaWFuCmFuZCBCdXJhayBBa3NhcgphbmQgRnJhbmNlc2NvIEZ1Z2dpdHRpfSwKdGl0bGU9e0Zyb20gTmF0dXJhbCBMYW5ndWFnZSB0byBXb3JrZmxvd3M6IFRvd2FyZHMgRW1lcmdlbnQgSW50ZWxsaWdlbmNlIGluIFJvYm90aWMgUHJvY2VzcyBBdXRvbWF0aW9ufSwKYm9va3RpdGxlPXt7UlBBfSBmb3J1bSBhdCB7QlBNfX0sCnllYXI9ezIwMjJ9LApwdWJsaXNoZXI9e1NwcmluZ2VyIEludGVybmF0aW9uYWwgUHVibGlzaGluZ30sCnBhZ2VzPXsxMjMtLTEzN30sCmRvaT17aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTMtMDMxLTE2MTY4LTFfOH0sCn0KCgoKCkBhcnRpY2xle2FyeGl2MjAyMmRmZiwKICAgIHRpdGxlID0ge1BsYW5uaW5nIGZvciBUZW1wb3JhbGx5IEV4dGVuZGVkIEdvYWxzIGluIFB1cmUtUGFzdCBMaW5lYXIgVGVtcG9yYWwgTG9naWM6IEEgUG9seW5vbWlhbCBSZWR1Y3Rpb24gdG8gU3RhbmRhcmQgUGxhbm5pbmd9LAogICAgYXV0aG9yID0ge3tEZSBHaWFjb21vfSwgR2l1c2VwcGUgYW5kIEZhdm9yaXRvLCBNYXJjbyBhbmQgRnVnZ2l0dGksIEZyYW5jZXNjb30sCiAgICBqb3VybmFsID0ge0NvUlJ9LAogICAgdm9sdW1lID0ge2Ficy8yMjA0LjA5OTYwfSwKICAgIHllYXIgPSB7MjAyMn0sCiAgICBtb250aCA9IHtBcHJpbH0sCiAgICBhcmNoaXZlUHJlZml4ID0ge2FyWGl2fSwKICAgIGVwcmludCA9IHsyMjA0LjA5OTYwfSwKICAgIHByaW1hcnlDbGFzcyA9IHtjcy5BSX0sCiAgICB1cmxfcGFwZXIgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvcGRmLzIyMDQuMDk5NjAucGRmfSwKICAgIHVybF9jb2RlID0ge2h0dHBzOi8vZ2l0aHViLmNvbS93aGl0ZW1lY2gvcGxhbm5pbmctZm9yLXBhc3QtdGVtcG9yYWwtZ29hbHN9LAp9CgoKCkBpbnByb2NlZWRpbmdze2ljYXBzMjAyMWRmLAogIGF1dGhvciAgICAgICA9IHt7RGUgR2lhY29tb30sIEdpdXNlcHBlIGFuZCBGdWdnaXR0aSwgRnJhbmNlc2NvfSwKICB0aXRsZSAgICAgICAgPSB7Rk9ORDRMVExmOiBGT05EIFBsYW5uaW5nIGZvciB7TFRMZn0ve1BMVExmfSBHb2FscyBhcyBhIFNlcnZpY2V9LAogIGJvb2t0aXRsZSAgICA9IHt7SUNBUFN9fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMX0sCiAgbW9udGggICAgICAgID0ge0F1Z3VzdH0sCiAgbm90ZSAgICAgICAgID0ge1N5c3RlbSBEZW1vbnN0cmF0aW9ufSwKICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly9pY2FwczIxLmljYXBzLWNvbmZlcmVuY2Uub3JnL2RlbW9zL2RlbW9zLzM4OC5wZGZ9LAogIHVybF9jb2RlICAgICA9IHtodHRwczovL2dpdGh1Yi5jb20vd2hpdGVtZWNoL0ZPTkQ0TFRMZn0sCiAgdXJsX3dlYnNpdGUgID0ge2h0dHBzOi8vZm9uZDRsdGxmLmhlcm9rdWFwcC5jb20vfSwKICB1cmxfdmlkZW8gICAgPSB7aHR0cHM6Ly95b3V0dS5iZS92WVk4bW1rS3RRc30sCn0KCgoKCkBzb2Z0d2FyZXtmdWdnaXR0aV9mcmFuY2VzY29fMjAyMV80ODc2MjgxLAogIGF1dGhvciAgICAgICA9IHtGdWdnaXR0aSwgRnJhbmNlc2NvfSwKICB0aXRsZSAgICAgICAgPSB7Rk9ORDRMVExmfSwKICBtb250aCAgICAgICAgPSB7TWF5fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMX0sCiAgcHVibGlzaGVyICAgID0ge1plbm9kb30sCiAgdmVyc2lvbiAgICAgID0gezAuMC4xfSwKICBkb2kgICAgICAgICAgPSB7MTAuNTI4MS96ZW5vZG8uNDg3NjI4MX0sCiAgdXJsX2NvZGUgICAgPSB7aHR0cHM6Ly9naXRodWIuY29tL3doaXRlbWVjaC9GT05ENExUTGZQTFRMZn0sCiAgdXJsX3dlYnNpdGUgPSB7aHR0cHM6Ly9mb25kNGx0bGYuaGVyb2t1YXBwLmNvbS99LAp9CgoKCgpAYXJ0aWNsZXthcnhpdjIwMjFmZmQsCiAgICB0aXRsZSA9IHtSZWNvZ25pemluZyBMVExmL1BMVExmIEdvYWxzIGluIEZ1bGx5IE9ic2VydmFibGUgTm9uLURldGVybWluaXN0aWMgRG9tYWluIE1vZGVsc30sCiAgICBhdXRob3IgPSB7e0ZyYWdhIFBlcmVpcmF9LCBSYW1vbiBhbmQgRnVnZ2l0dGksIEZyYW5jZXNjbyBhbmQge0RlIEdpYWNvbW99LCBHaXVzZXBwZX0sCiAgICBqb3VybmFsID0ge0NvUlJ9LAogICAgdm9sdW1lID0ge2Ficy8yMTAzLjExNjkyfSwKICAgIHllYXIgPSB7MjAyMX0sCiAgICBtb250aCA9IHtNYXJjaH0sCiAgICBhcmNoaXZlUHJlZml4ID0ge2FyWGl2fSwKICAgIGVwcmludCA9IHsyMTAzLjExNjkyfSwKICAgIHByaW1hcnlDbGFzcyA9IHtjcy5BSX0sCiAgICB1cmxfcGFwZXIgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvcGRmLzIxMDMuMTE2OTIucGRmfSwKfQoKCgpAaW5wcm9jZWVkaW5nc3tpamNhaTIwMjBzdXJ2ZXlkZGZyLAogIHRpdGxlICAgICA9IHtQdXJlLVBhc3QgTGluZWFyIFRlbXBvcmFsIGFuZCBEeW5hbWljIExvZ2ljIG9uIEZpbml0ZSBUcmFjZXN9LAogIGF1dGhvciAgICA9IHt7RGUgR2lhY29tb30sIEdpdXNlcHBlIGFuZCB7RGkgU3Rhc2lvfSwgQW50b25pbyBhbmQgRnVnZ2l0dGksIEZyYW5jZXNjbyBhbmQgUnViaW4sIFNhc2hhfSwKICBib29rdGl0bGUgPSB7e0lKQ0FJfX0sCiAgcHVibGlzaGVyID0ge3tJSkNBSX19LCAKICBwYWdlcyAgICAgPSB7NDk1OS0tNDk2NX0sCiAgeWVhciAgICAgID0gezIwMjB9LAogIG1vbnRoICAgICA9IHs3fSwKICBub3RlICAgICAgPSB7U3VydmV5IHRyYWNrfSwKICBkb2kgICAgICAgPSB7MTAuMjQ5NjMvaWpjYWkuMjAyMC82OTB9LAogIHVybF9wYXBlciA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMC9pamNhaTIwMjBkZGZyLnBkZn0sCiAgdXJsX3NsaWRlcyA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAyMC9pamNhaTIwMjBkZGZyX3NsaWRlcy5wZGZ9LAogIHVybF9wb3N0ZXIgPSB7aHR0cHM6Ly9mcmFuY2VzY29mdWdnaXR0aS5naXRodWIuaW8vcGFwZXJzLzIwMjAvaWpjYWkyMDIwZGRmcl9wb3N0ZXIucGRmfSwKICB1cmxfdmlkZW8gPSB7aHR0cHM6Ly95b3V0dS5iZS96YTJzbXVOb0NOa30sCn0KCgoKQGFydGljbGV7Zm9uZC1mdWdnaXR0aSwKICAgIHRpdGxlID0ge0ZPTkQgUGxhbm5pbmcgZm9yIExUTGYgYW5kIFBMVExmIEdvYWxzIChFeHRlbmRlZCBWZXJzaW9uKX0sCiAgICBhdXRob3IgPSB7RnVnZ2l0dGksIEZyYW5jZXNjb30sCiAgICBqb3VybmFsID0ge0NvUlJ9LAogICAgdm9sdW1lID0ge2Ficy8yMDA0LjA3MDI3fSwKICAgIHllYXIgPSB7MjAyMH0sCiAgICBtb250aCA9IHtBcHJpbH0sCiAgICBhcmNoaXZlUHJlZml4ID0ge2FyWGl2fSwKICAgIGVwcmludCA9IHsyMDA0LjA3MDI3fSwKICAgIHByaW1hcnlDbGFzcyA9IHtjcy5BSX0sCiAgICB1cmxfcGFwZXIgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvcGRmLzIwMDQuMDcwMjcucGRmfSwKICAgIHVybF9jb2RlID0ge2h0dHBzOi8vZ2l0aHViLmNvbS93aGl0ZW1lY2gvRk9ORDRMVExmUExUTGZ9LAogICAgdXJsX3dlYnNpdGUgPSB7aHR0cHM6Ly9mb25kNGx0bGYuaGVyb2t1YXBwLmNvbX0sCn0KCgoKCkBpbnByb2NlZWRpbmdze2Z1Z2dpdHRpLWljYXBzMTksCiAgdGl0bGUJCQkJPSB7Rk9ORCBQbGFubmluZyBmb3IgTFRMZiBhbmQgUExUTGYgR29hbHN9LAogIGF1dGhvciAJCQk9IHtGdWdnaXR0aSwgRnJhbmNlc2NvfSwKICBib29rdGl0bGUJCQk9IHt7SUNBUFN9fSwKICBub3RlCQkJCT0ge1dvcmtzaG9wIG9uIFJlYXNvbmluZyBhYm91dCBBY3Rpb25zIGFuZCBQcm9jZXNzZXM6IEhpZ2hsaWdodHMgb2YgUmVjZW50IEFkdmFuY2VzfSwKICBhZGRyZXNzCQkJPSB7QmVya2VsZXl9LAogIG1vbnRoCQkgICAgICAgICAJPSB7SnVseX0sCiAgeWVhciAgCQkJPSB7MjAxOX0sCiAgdXJsX3BhcGVyID0ge2h0dHBzOi8vZnJhbmNlc2NvZnVnZ2l0dGkuZ2l0aHViLmlvL3BhcGVycy8yMDE5L2ljYXBzX3dvcmtzaG9wLnBkZn0sCiAgdXJsX3NsaWRlcyA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAxOS9pY2Fwc193b3Jrc2hvcF9zbGlkZXMucGRmfQp9CgoKCgpAc29mdHdhcmV7ZnVnZ2l0dGktbHRsZjJkZmEsCiAgYXV0aG9yICAgICAgID0ge0ZyYW5jZXNjbyBGdWdnaXR0aX0sCiAgdGl0bGUgICAgICAgID0ge0xUTGYyREZBfSwKICBtb250aCAgICAgICAgPSB7TWFyY2h9LAogIHllYXIgICAgICAgICA9IHsyMDE5fSwKICBwdWJsaXNoZXIgICAgPSB7WmVub2RvfSwKICB2ZXJzaW9uICAgICAgPSB7MS4wLjAucG9zdDB9LAogIGRvaSAgICAgICAgICA9IHsxMC41MjgxL3plbm9kby4zODg4NDEwfSwKICB1cmxfY29kZSAgICA9IHtodHRwczovL2dpdGh1Yi5jb20vd2hpdGVtZWNoL0xUTGYyREZBfSwKICB1cmxfd2Vic2l0ZSA9IHtodHRwOi8vbHRsZjJkZmEuZGlhZy51bmlyb21hMS5pdH0sCn0KCgoKCkBtYXN0ZXJzdGhlc2lze2Z1Z2dpdHRpLW1zYy10aGVzaXMsCiAgICBhdXRob3IgPSB7RnVnZ2l0dGksIEZyYW5jZXNjb30sCiAgICBzY2hvb2wgPSB7U2FwaWVuemEgVW5pdmVyc2l0eSBvZiBSb21lfSwKICAgIHBhZ2VzID0gMTQ2LAogICAgdGl0bGUgPSB7e0xUTH0gYW5kIFBhc3Qge0xUTH0gb24gRmluaXRlIFRyYWNlcyBmb3IgUGxhbm5pbmcgYW5kIERlY2xhcmF0aXZlIFByb2Nlc3MgTWluaW5nfSwKICAgIHllYXIgPSAyMDE4LAogICAgbW9udGggPSBPY3RvYmVyLAogICAgdXJsX3RoZXNpcyA9IHtodHRwczovL2ZyYW5jZXNjb2Z1Z2dpdHRpLmdpdGh1Yi5pby9wYXBlcnMvMjAxOC9GdWdnaXR0aV9NU2NfdGhlc2lzLnBkZn0sCiAgICB1cmxfc2xpZGVzID0ge2h0dHBzOi8vZnJhbmNlc2NvZnVnZ2l0dGkuZ2l0aHViLmlvL3BhcGVycy8yMDE4L0Z1Z2dpdHRpX01TY19zbGlkZXMucGRmfQp9Cg==\">\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/francescofuggitti/francescofuggitti.github.io/master/francesco.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/francescofuggitti/francescofuggitti.github.io/master/francesco.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%2Ffrancescofuggitti%2Ffrancescofuggitti.github.io%2Fmaster%2Ffrancesco.bib&amp;theme=mila&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%2Ffrancescofuggitti%2Ffrancescofuggitti.github.io%2Fmaster%2Ffrancesco.bib&amp;theme=mila&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%2Ffrancescofuggitti%2Ffrancescofuggitti.github.io%2Fmaster%2Ffrancesco.bib&amp;theme=mila&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_2024\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2024')\"\n      onkeypress=\"toggleGroup('group_2024')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2024</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=\"chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Chakraborti, T.; Kang, J.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Katz, M.;  and Sohrabi, S.\n</span>\n\n  \n\n</span>\n\n  In <i>AAAI</i>,  2024. \n  <span class=\"note\">System Demonstration.</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://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf\"\n     onclick=\"log_download('chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024', 'https://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction [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://github.com/IBM/lemming\"\n     onclick=\"log_download('chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024', 'https://github.com/IBM/lemming', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024\"\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('chakraborti-kang-fuggitti-katz-sohrabi-interactiveplanselectionusinglineartemporallogicdisjunctiveactionlandmarksandnaturallanguageinstruction-2024')\" -->\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{aaai2024ckfks,\n  author       = {Tathagata Chakraborti and\n                  Jungkoo Kang and\n                  Francesco Fuggitti and\n                  Michael Katz and\n                  Shirin Sohrabi},\n  title        = {{Interactive Plan Selection using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction}},\n  booktitle    = {{AAAI}},\n  year         = {2024},\n  note         = {System Demonstration.},\n  url_paper    = {https://francescofuggitti.github.io/papers/2024/aaai2024ckfks.pdf},\n  url_code     = {https://github.com/IBM/lemming},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Fraga Pereira, R.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Meneguzzi, F.;  and De Giacomo, G.\n</span>\n\n  \n\n</span>\n\n  <i>Applied Intelligence</i>.  2024.\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://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf\"\n     onclick=\"log_download('fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024', 'https://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models [pdf]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1007/s10489-023-05087-1\"\n     onclick=\"log_download('fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024', 'http://doi.org/https://doi.org/10.1007/s10489-023-05087-1', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024\"\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('fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2024')\" -->\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{ai2024ffmd,\n  author       = {Ramon {Fraga Pereira} and\n                  Francesco Fuggitti and\n                  Felipe Meneguzzi and\n                  Giuseppe {De Giacomo}},\n  title        = {{Temporally Extended Goal Recognition in Fully Observable Non-Deterministic\n                  Domain Models}},\n  journal      = {{Applied Intelligence}},\n  year         = {2024},\n  doi          = {https://doi.org/10.1007/s10489-023-05087-1},\n  url_paper    = {https://francescofuggitti.github.io/papers/2024/ai2024ffmd.pdf},\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_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        (9)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"fuggitti-efficienttechniquesforautomatedplanningforgoalsinlineartemporallogicsonfinitetraces-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  Ph.D. Thesis, Sapienza University & York University, September 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://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content\"\n     onclick=\"log_download('fuggitti-efficienttechniquesforautomatedplanningforgoalsinlineartemporallogicsonfinitetraces-2023', 'https://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces [link]\"\n       title=\" dissertation\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> dissertation</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-efficienttechniquesforautomatedplanningforgoalsinlineartemporallogicsonfinitetraces-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('fuggitti-efficienttechniquesforautomatedplanningforgoalsinlineartemporallogicsonfinitetraces-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;\">@phdthesis{fuggitti2023phd,\n  author  = {Francesco Fuggitti},\n  title   = {{Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces}},\n  school  = {Sapienza University \\&amp; York University},\n  year    = {2023},\n  type    = {PhD Dissertation},\n  month   = {September},\n  url_dissertation    = {https://yorkspace.library.yorku.ca/server/api/core/bitstreams/fb92adb9-6fe9-416d-a8e2-3567c1a58a45/content},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  FOND Planning for Pure-Past Linear Temporal Logic Goals.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bonassi, L.; De Giacomo, G.; Favorito, M.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Gerevini, A.;  and Scala, E.\n</span>\n\n  \n\n</span>\n\n  In <i>ECAI</i>, volume 372, pages 279-286,  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://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-2023', 'https://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"FOND Planning for Pure-Past Linear Temporal Logic Goals [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://github.com/whitemech/Plan4Past\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-2023', 'https://github.com/whitemech/Plan4Past', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND Planning for Pure-Past Linear Temporal Logic Goals [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.3233/FAIA230281\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-2023', 'http://doi.org/10.3233/FAIA230281', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-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>12 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-fondplanningforpurepastlineartemporallogicgoals-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{ecai2023bdffgs,\n  author       = {Luigi Bonassi and\n                  Giuseppe {De Giacomo} and\n                  Marco Favorito and\n                  Francesco Fuggitti and\n                  {Alfonso Emilio} Gerevini and\n                  Enrico Scala},\n  title        = {{FOND} Planning for Pure-Past Linear Temporal Logic Goals},\n  booktitle    = {{ECAI}},\n  year         = {2023},\n  pages        = {279-286},\n  doi          = {10.3233/FAIA230281},\n  volume       = {372},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/ecai2023bdffgs.pdf},\n  url_code     = {https://github.com/whitemech/Plan4Past},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Lemming: A Tool for Guided Plan Selection using Landmarks.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Kang, J.; Chakraborti, T.; Katz, M.; Sohrabi, S.;  and <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>ICAPS</i>,  2023. \n  <span class=\"note\">System Demonstration.</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://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf\"\n     onclick=\"log_download('kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-2023', 'https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Lemming: A Tool for Guided Plan Selection using Landmarks [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://github.com/IBM/lemming\"\n     onclick=\"log_download('kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-2023', 'https://github.com/IBM/lemming', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Lemming: A Tool for Guided Plan Selection using Landmarks [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-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>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('kang-chakraborti-katz-sohrabi-fuggitti-lemmingatoolforguidedplanselectionusinglandmarks-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{icaps2023kcksf,\n  author       = {Jungkoo Kang and\n\t                Tathagata Chakraborti and\n                  Michael Katz and\n                  Shirin Sohrabi and\n                  Francesco Fuggitti},\n  title        = {{Lemming}: A Tool for Guided Plan Selection using Landmarks},\n  booktitle    = {{ICAPS}},\n  year         = {2023},\n  note         = {System Demonstration.},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023kcksf.pdf},\n  url_code     = {https://github.com/IBM/lemming},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>;  and Chakraborti, T.\n</span>\n\n  \n\n</span>\n\n  In <i>ICAPS</i>,  2023. \n  <span class=\"note\">System Demonstration.</span>\n\n<span class=\"bibbase_note\"><span style=\"color: red\">Best System Demonstration Runner-Up &#127942; &#129352;</span></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf\"\n     onclick=\"log_download('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023', 'https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas [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://github.com/IBM/nl2ltl\"\n     onclick=\"log_download('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023', 'https://github.com/IBM/nl2ltl', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-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>23 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-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{icaps2023fc,\n  author       = {Francesco Fuggitti and Tathagata Chakraborti},\n  title        = {{NL2LTL} -- A Python Package for Converting Natural Language ({NL}) Instructions to Linear Temporal Logic ({LTL}) Formulas},\n  booktitle    = {{ICAPS}},\n  year         = {2023},\n  note         = {System Demonstration.},\n  bibbase_note = {&lt;span style=&quot;color: red&quot;&gt;Best System Demonstration Runner-Up &amp;#127942; &amp;#129352;&lt;/span&gt;},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023fc.pdf},\n  url_code     = {https://github.com/IBM/nl2ltl},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Fraga Pereira, R.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Meneguzzi, F.;  and De Giacomo, G.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2306.08680.  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://arxiv.org/pdf/2306.08680.pdf\"\n     onclick=\"log_download('fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-2023', 'https://arxiv.org/pdf/2306.08680.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models [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/fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-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>4 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fragapereira-fuggitti-meneguzzi-degiacomo-temporallyextendedgoalrecognitioninfullyobservablenondeterministicdomainmodels-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{arxiv2023ffmd,\n  author       = {Ramon {Fraga Pereira} and\n                  Francesco Fuggitti and\n                  Felipe Meneguzzi and\n                  Giuseppe {De Giacomo}},\n  title        = {Temporally Extended Goal Recognition in Fully Observable Non-Deterministic\n                  Domain Models},\n  journal      = {CoRR},\n  volume       = {abs/2306.08680},\n  year         = {2023},\n  url_paper    = {https://arxiv.org/pdf/2306.08680.pdf},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  A Tool for Declarative Trace Alignment via Automated Planning.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Maggi, F. M.; Marrella, A.;  and Patrizi, F.\n</span>\n\n  \n\n</span>\n\n  <i>Software Impacts</i>, 16: 100505.  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://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf\"\n     onclick=\"log_download('degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-2023', 'https://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"A Tool for Declarative Trace Alignment via Automated Planning [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://github.com/whitemech/TraceAligner\"\n     onclick=\"log_download('degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-2023', 'https://github.com/whitemech/TraceAligner', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A Tool for Declarative Trace Alignment via Automated Planning [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1016/j.simpa.2023.100505\"\n     onclick=\"log_download('degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-2023', 'http://doi.org/https://doi.org/10.1016/j.simpa.2023.100505', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-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>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-fuggitti-maggi-marrella-patrizi-atoolfordeclarativetracealignmentviaautomatedplanning-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{si2023dfmmp,\n    title = {A Tool for Declarative Trace Alignment via Automated Planning},\n    journal = {Software Impacts},\n    volume = {16},\n    pages = {100505},\n    year = {2023},\n    issn = {2665-9638},\n    doi = {https://doi.org/10.1016/j.simpa.2023.100505},\n    url_paper = {https://francescofuggitti.github.io/papers/2023/si2023dfmmp.pdf},\n    url_code = {https://github.com/whitemech/TraceAligner},\n    author = {Giuseppe {De Giacomo} and Francesco Fuggitti and Fabrizio Maria Maggi and Andrea Marrella and Fabio Patrizi},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Bonassi, L.; De Giacomo, G.; Favorito, M.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Gerevini, A.;  and Scala, E.\n</span>\n\n  \n\n</span>\n\n  In <i>ICAPS</i>, volume 33, pages 61-69, Jul. 2023. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"><span style=\"color: red\">Best Student Paper Award &#127942; &#129351;</span></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023', 'https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic [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://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023', 'https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic [pdf]\"\n       title=\" slides\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> slides</span></a>\n  &nbsp;\n  \n  <a href=\"https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023', 'https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic [pdf]\"\n       title=\" poster\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> poster</span></a>\n  &nbsp;\n  \n  <a href=\"https://github.com/whitemech/Plan4Past\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023', 'https://github.com/whitemech/Plan4Past', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1609/icaps.v33i1.27179\"\n     onclick=\"log_download('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-2023', 'http://doi.org/10.1609/icaps.v33i1.27179', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-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>48 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bonassi-degiacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogic-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{icaps2023bdffgs,\n  author       = {Luigi Bonassi and\n                  Giuseppe {De Giacomo} and\n                  Marco Favorito and\n                  Francesco Fuggitti and\n                  {Alfonso Emilio} Gerevini and\n                  Enrico Scala},\n  title        = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic},\n  booktitle    = {{ICAPS}},\n  volume       = {33},\n  doi          = {10.1609/icaps.v33i1.27179},\n  number       = {1},\n  month        = {Jul.},\n  pages        = {61-69},\n  year         = {2023},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs.pdf},\n  url_slides   = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_slides.pdf},\n  url_poster   = {https://francescofuggitti.github.io/papers/2023/icaps2023bdffgs_poster.pdf},\n  url_code     = {https://github.com/whitemech/Plan4Past},\n  bibbase_note = {&lt;span style=&quot;color: red&quot;&gt;Best Student Paper Award &amp;#127942; &amp;#129351;&lt;/span&gt;},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"acitelli-degiacomo-fuggitti-maggi-marrella-patrizi-declarativetracealignmentviaautomatedplanningextendedabstract-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Declarative Trace Alignment via Automated Planning (Extended Abstract).\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Acitelli, G.; De Giacomo, G.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>; Maggi, F.; Marrella, A.;  and Patrizi, F.\n</span>\n\n  \n\n</span>\n\n  In <i>AI4BPM at AAAI</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://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf\"\n     onclick=\"log_download('acitelli-degiacomo-fuggitti-maggi-marrella-patrizi-declarativetracealignmentviaautomatedplanningextendedabstract-2023', 'https://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Declarative Trace Alignment via Automated Planning (Extended Abstract) [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/acitelli-degiacomo-fuggitti-maggi-marrella-patrizi-declarativetracealignmentviaautomatedplanningextendedabstract-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>9 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('acitelli-degiacomo-fuggitti-maggi-marrella-patrizi-declarativetracealignmentviaautomatedplanningextendedabstract-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{aaai2023adfmmp,\n  author       = {Giacomo Acitelli and\n\t  \tGiuseppe {De Giacomo} and\n\t\tFrancesco Fuggitti and \n\t\t{Fabrizio Maria} Maggi and\n  \t\tAndrea Marrella and\n  \t\tFabio Patrizi},\n  title        = {Declarative Trace Alignment via Automated Planning (Extended Abstract)},\n  booktitle    = {{AI4BPM} at {AAAI}},\n  year         = {2023},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/aaai2023adfmmp.pdf},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>;  and Chakraborti, T.\n</span>\n\n  \n\n</span>\n\n  In <i>AAAI</i>,  2023. \n  <span class=\"note\">System Demonstration.</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://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf\"\n     onclick=\"log_download('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023', 'https://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas [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://github.com/IBM/nl2ltl\"\n     onclick=\"log_download('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023', 'https://github.com/IBM/nl2ltl', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-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>23 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-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{aaai2023fc,\n  author       = {Francesco Fuggitti and Tathagata Chakraborti},\n  title        = {{NL2LTL} -- A Python Package for Converting Natural Language ({NL}) Instructions to Linear Temporal Logic ({LTL}) Formulas},\n  booktitle    = {{AAAI}},\n  year         = {2023},\n  note         = {System Demonstration.},\n  url_paper    = {https://francescofuggitti.github.io/papers/2023/aaai2023fc.pdf},\n  url_code     = {https://github.com/IBM/nl2ltl},\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        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"chakraborti-rizk-isahagian-aksar-fuggitti-fromnaturallanguagetoworkflowstowardsemergentintelligenceinroboticprocessautomation-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Chakraborti, T.; Rizk, Y.; Isahagian, V.; Aksar, B.;  and <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>RPA forum at BPM</i>, pages 123–137,  2022. Springer International Publishing\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  <a href=\"http://doi.org/https://doi.org/10.1007/978-3-031-16168-1_8\"\n     onclick=\"log_download('chakraborti-rizk-isahagian-aksar-fuggitti-fromnaturallanguagetoworkflowstowardsemergentintelligenceinroboticprocessautomation-2022', 'http://doi.org/https://doi.org/10.1007/978-3-031-16168-1_8', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/chakraborti-rizk-isahagian-aksar-fuggitti-fromnaturallanguagetoworkflowstowardsemergentintelligenceinroboticprocessautomation-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('chakraborti-rizk-isahagian-aksar-fuggitti-fromnaturallanguagetoworkflowstowardsemergentintelligenceinroboticprocessautomation-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{bpm2022criaf,\nauthor={Tathagata Chakraborti\nand Yara Rizk\nand Vatche Isahagian\nand Burak Aksar\nand Francesco Fuggitti},\ntitle={From Natural Language to Workflows: Towards Emergent Intelligence in Robotic Process Automation},\nbooktitle={{RPA} forum at {BPM}},\nyear={2022},\npublisher={Springer International Publishing},\npages={123--137},\ndoi={https://doi.org/10.1007/978-3-031-16168-1_8},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.; Favorito, M.;  and <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2204.09960. April 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://arxiv.org/pdf/2204.09960.pdf\"\n     onclick=\"log_download('degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-2022', 'https://arxiv.org/pdf/2204.09960.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning [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://github.com/whitemech/planning-for-past-temporal-goals\"\n     onclick=\"log_download('degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-2022', 'https://github.com/whitemech/planning-for-past-temporal-goals', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-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>37 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-favorito-fuggitti-planningfortemporallyextendedgoalsinpurepastlineartemporallogicapolynomialreductiontostandardplanning-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;\">@article{arxiv2022dff,\n    title = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning},\n    author = {{De Giacomo}, Giuseppe and Favorito, Marco and Fuggitti, Francesco},\n    journal = {CoRR},\n    volume = {abs/2204.09960},\n    year = {2022},\n    month = {April},\n    archivePrefix = {arXiv},\n    eprint = {2204.09960},\n    primaryClass = {cs.AI},\n    url_paper = {https://arxiv.org/pdf/2204.09960.pdf},\n    url_code = {https://github.com/whitemech/planning-for-past-temporal-goals},\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-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  De Giacomo, G.;  and <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>ICAPS</i>, August 2021. \n  <span class=\"note\">System Demonstration</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://icaps21.icaps-conference.org/demos/demos/388.pdf\"\n     onclick=\"log_download('degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021', 'https://icaps21.icaps-conference.org/demos/demos/388.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service [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://github.com/whitemech/FOND4LTLf\"\n     onclick=\"log_download('degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021', 'https://github.com/whitemech/FOND4LTLf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n  <a href=\"https://fond4ltlf.herokuapp.com/\"\n     onclick=\"log_download('degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021', 'https://fond4ltlf.herokuapp.com/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service [link]\"\n       title=\" website\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> website</span></a>\n  &nbsp;\n  \n  <a href=\"https://youtu.be/vYY8mmkKtQs\"\n     onclick=\"log_download('degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-2021', 'https://youtu.be/vYY8mmkKtQs', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND4LTLf: FOND Planning for LTLf/PLTLf Goals as a Service [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-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>18 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('degiacomo-fuggitti-fond4ltlffondplanningforltlfpltlfgoalsasaservice-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{icaps2021df,\n  author       = {{De Giacomo}, Giuseppe and Fuggitti, Francesco},\n  title        = {FOND4LTLf: FOND Planning for {LTLf}/{PLTLf} Goals as a Service},\n  booktitle    = {{ICAPS}},\n  year         = {2021},\n  month        = {August},\n  note         = {System Demonstration},\n  url_paper    = {https://icaps21.icaps-conference.org/demos/demos/388.pdf},\n  url_code     = {https://github.com/whitemech/FOND4LTLf},\n  url_website  = {https://fond4ltlf.herokuapp.com/},\n  url_video    = {https://youtu.be/vYY8mmkKtQs},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fuggitti-fond4ltlf-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  FOND4LTLf.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  May 2021.<!-- NOTE FROM BIBBASE: This entry has an invalid bibtex entry type: software. 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://github.com/whitemech/FOND4LTLfPLTLf\"\n     onclick=\"log_download('fuggitti-fond4ltlf-2021', 'https://github.com/whitemech/FOND4LTLfPLTLf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND4LTLf [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n  <a href=\"https://fond4ltlf.herokuapp.com/\"\n     onclick=\"log_download('fuggitti-fond4ltlf-2021', 'https://fond4ltlf.herokuapp.com/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND4LTLf [link]\"\n       title=\" website\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> website</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.5281/zenodo.4876281\"\n     onclick=\"log_download('fuggitti-fond4ltlf-2021', 'http://doi.org/10.5281/zenodo.4876281', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-fond4ltlf-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>6 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-fond4ltlf-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;\">@software{fuggitti_francesco_2021_4876281,\n  author       = {Fuggitti, Francesco},\n  title        = {FOND4LTLf},\n  month        = {May},\n  year         = {2021},\n  publisher    = {Zenodo},\n  version      = {0.0.1},\n  doi          = {10.5281/zenodo.4876281},\n  url_code    = {https://github.com/whitemech/FOND4LTLfPLTLf},\n  url_website = {https://fond4ltlf.herokuapp.com/},\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fragapereira-fuggitti-degiacomo-recognizingltlfpltlfgoalsinfullyobservablenondeterministicdomainmodels-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Fraga Pereira, R.; <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>;  and De Giacomo, G.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2103.11692. March 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://arxiv.org/pdf/2103.11692.pdf\"\n     onclick=\"log_download('fragapereira-fuggitti-degiacomo-recognizingltlfpltlfgoalsinfullyobservablenondeterministicdomainmodels-2021', 'https://arxiv.org/pdf/2103.11692.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models [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/fragapereira-fuggitti-degiacomo-recognizingltlfpltlfgoalsinfullyobservablenondeterministicdomainmodels-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>29 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fragapereira-fuggitti-degiacomo-recognizingltlfpltlfgoalsinfullyobservablenondeterministicdomainmodels-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;\">@article{arxiv2021ffd,\n    title = {Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models},\n    author = {{Fraga Pereira}, Ramon and Fuggitti, Francesco and {De Giacomo}, Giuseppe},\n    journal = {CoRR},\n    volume = {abs/2103.11692},\n    year = {2021},\n    month = {March},\n    archivePrefix = {arXiv},\n    eprint = {2103.11692},\n    primaryClass = {cs.AI},\n    url_paper = {https://arxiv.org/pdf/2103.11692.pdf},\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</i>, pages 4959–4965, 7 2020. IJCAI\n  <span class=\"note\">Survey track</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://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.pdf\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.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://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.pdf\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.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  <a href=\"https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.pdf\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.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=\" poster\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> poster</span></a>\n  &nbsp;\n  \n  <a href=\"https://youtu.be/za2smuNoCNk\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'https://youtu.be/za2smuNoCNk', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Pure-Past Linear Temporal and Dynamic Logic on Finite Traces [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.24963/ijcai.2020/690\"\n     onclick=\"log_download('degiacomo-distasio-fuggitti-rubin-purepastlineartemporalanddynamiclogiconfinitetraces-2020', 'http://doi.org/10.24963/ijcai.2020/690', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\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{ijcai2020surveyddfr,\n  title     = {Pure-Past Linear Temporal and Dynamic Logic on Finite Traces},\n  author    = {{De Giacomo}, Giuseppe and {Di Stasio}, Antonio and Fuggitti, Francesco and Rubin, Sasha},\n  booktitle = {{IJCAI}},\n  publisher = {{IJCAI}}, \n  pages     = {4959--4965},\n  year      = {2020},\n  month     = {7},\n  note      = {Survey track},\n  doi       = {10.24963/ijcai.2020/690},\n  url_paper = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr.pdf},\n  url_slides = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_slides.pdf},\n  url_poster = {https://francescofuggitti.github.io/papers/2020/ijcai2020ddfr_poster.pdf},\n  url_video = {https://youtu.be/za2smuNoCNk},\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  FOND Planning for LTLf and PLTLf Goals (Extended Version).\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2004.07027. April 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://arxiv.org/pdf/2004.07027.pdf\"\n     onclick=\"log_download('fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-2020', 'https://arxiv.org/pdf/2004.07027.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"FOND Planning for LTLf and PLTLf Goals (Extended Version) [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://github.com/whitemech/FOND4LTLfPLTLf\"\n     onclick=\"log_download('fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-2020', 'https://github.com/whitemech/FOND4LTLfPLTLf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND Planning for LTLf and PLTLf Goals (Extended Version) [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n  <a href=\"https://fond4ltlf.herokuapp.com\"\n     onclick=\"log_download('fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-2020', 'https://fond4ltlf.herokuapp.com', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"FOND Planning for LTLf and PLTLf Goals (Extended Version) [link]\"\n       title=\" website\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> website</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-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>18 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-fondplanningforltlfandpltlfgoalsextendedversion-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;\">@article{fond-fuggitti,\n    title = {FOND Planning for LTLf and PLTLf Goals (Extended Version)},\n    author = {Fuggitti, Francesco},\n    journal = {CoRR},\n    volume = {abs/2004.07027},\n    year = {2020},\n    month = {April},\n    archivePrefix = {arXiv},\n    eprint = {2004.07027},\n    primaryClass = {cs.AI},\n    url_paper = {https://arxiv.org/pdf/2004.07027.pdf},\n    url_code = {https://github.com/whitemech/FOND4LTLfPLTLf},\n    url_website = {https://fond4ltlf.herokuapp.com},\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_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</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=\"fuggitti-fondplanningforltlfandpltlfgoals-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  FOND Planning for LTLf and PLTLf Goals.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  In <i>ICAPS</i>, Berkeley, July 2019. \n  <span class=\"note\">Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances</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://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf\"\n     onclick=\"log_download('fuggitti-fondplanningforltlfandpltlfgoals-2019', 'https://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"FOND Planning for LTLf and PLTLf Goals [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://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf\"\n     onclick=\"log_download('fuggitti-fondplanningforltlfandpltlfgoals-2019', 'https://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"FOND Planning for LTLf and PLTLf Goals [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/fuggitti-fondplanningforltlfandpltlfgoals-2019\"\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('fuggitti-fondplanningforltlfandpltlfgoals-2019')\" -->\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{fuggitti-icaps19,\n  title\t\t\t\t= {FOND Planning for LTLf and PLTLf Goals},\n  author \t\t\t= {Fuggitti, Francesco},\n  booktitle\t\t\t= {{ICAPS}},\n  note\t\t\t\t= {Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances},\n  address\t\t\t= {Berkeley},\n  month\t\t         \t= {July},\n  year  \t\t\t= {2019},\n  url_paper = {https://francescofuggitti.github.io/papers/2019/icaps_workshop.pdf},\n  url_slides = {https://francescofuggitti.github.io/papers/2019/icaps_workshop_slides.pdf}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"fuggitti-ltlf2dfa-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  LTLf2DFA.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  March 2019.<!-- NOTE FROM BIBBASE: This entry has an invalid bibtex entry type: software. 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://github.com/whitemech/LTLf2DFA\"\n     onclick=\"log_download('fuggitti-ltlf2dfa-2019', 'https://github.com/whitemech/LTLf2DFA', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"LTLf2DFA [link]\"\n       title=\" code\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> code</span></a>\n  &nbsp;\n  \n  <a href=\"http://ltlf2dfa.diag.uniroma1.it\"\n     onclick=\"log_download('fuggitti-ltlf2dfa-2019', 'http://ltlf2dfa.diag.uniroma1.it', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"LTLf2DFA [link]\"\n       title=\" website\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> website</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.5281/zenodo.3888410\"\n     onclick=\"log_download('fuggitti-ltlf2dfa-2019', 'http://doi.org/10.5281/zenodo.3888410', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fuggitti-ltlf2dfa-2019\"\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>16 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-ltlf2dfa-2019')\" -->\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;\">@software{fuggitti-ltlf2dfa,\n  author       = {Francesco Fuggitti},\n  title        = {LTLf2DFA},\n  month        = {March},\n  year         = {2019},\n  publisher    = {Zenodo},\n  version      = {1.0.0.post0},\n  doi          = {10.5281/zenodo.3888410},\n  url_code    = {https://github.com/whitemech/LTLf2DFA},\n  url_website = {http://ltlf2dfa.diag.uniroma1.it},\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_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        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining.\n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://francescofuggitti.github.io/publications.html\">Fuggitti, F.</a>\n</span>\n\n  \n\n</span>\n\n  Master's thesis, Sapienza University of Rome, October 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://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf\"\n     onclick=\"log_download('fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-2018', 'https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining [pdf]\"\n       title=\" thesis\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> thesis</span></a>\n  &nbsp;\n  \n  <a href=\"https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf\"\n     onclick=\"log_download('fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-2018', 'https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining [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/fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-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>23 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fuggitti-ltlandpastltlonfinitetracesforplanninganddeclarativeprocessmining-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;\">@mastersthesis{fuggitti-msc-thesis,\n    author = {Fuggitti, Francesco},\n    school = {Sapienza University of Rome},\n    pages = 146,\n    title = {{LTL} and Past {LTL} on Finite Traces for Planning and Declarative Process Mining},\n    year = 2018,\n    month = October,\n    url_thesis = {https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_thesis.pdf},\n    url_slides = {https://francescofuggitti.github.io/papers/2018/Fuggitti_MSc_slides.pdf}\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);