Publications

Copyright Information: The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder. Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.

book Books chapter Book Chapters article Journal Articles Conference Proceedings other Other publications

2023

[i] M. Favorito, “Forward LTLf Synthesis: DPLL At Work.” arXiv, 2023. [Bibtex] [PDF] [URL]

@misc{favorito2023forward,
  doi = {10.48550/ARXIV.2302.13825},
  url = {https://arxiv.org/abs/2302.13825},
  author = {Favorito, Marco},
  keywords = {Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Formal Languages and Automata Theory (cs.FL), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {Forward LTLf Synthesis: DPLL At Work},
  publisher = {arXiv},
  year = {2023},
  copyright = {arXiv.org perpetual, non-exclusive license}
}

[i] A. Glielmo, M. Favorito, D. Chanda, and D. D. Gatti, “Combining search strategies to improve performance in the calibration of economic ABMs.” arXiv, 2023. [Bibtex] [PDF] [URL]

@misc{glielmo2023combining,
  doi = {10.48550/ARXIV.2302.11835},
  url = {https://arxiv.org/abs/2302.11835},
  author = {Glielmo, Aldo and Favorito, Marco and Chanda, Debmallya and Gatti, Domenico Delli},
  keywords = {Machine Learning (cs.LG), Artificial Intelligence (cs.AI), Multiagent Systems (cs.MA), General Economics (econ.GN), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Economics and business, FOS: Economics and business},
  title = {Combining search strategies to improve performance in the calibration of economic ABMs},
  publisher = {arXiv},
  year = {2023},
  copyright = {Creative Commons Attribution 4.0 International}
}

[c] R. Cipollone, G. De Giacomo, M. Favorito, L. Iocchi, and F. Patrizi, “Exploiting Multiple Abstractions in Episodic RL via Reward Shaping,” in AAAI, 2023. [Bibtex] [PDF]

@inproceedings{cipollone2023exploiting,
  title = {Exploiting Multiple Abstractions in Episodic RL via Reward Shaping},
  author = {Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
  year = {2023},
  booktitle = {{AAAI}}
}

2022

[j] M. Benedetti et al., “Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models,” Journal of Open Source Software, vol. 7, no. 79, p. 4622, 2022. [Bibtex] [PDF] [URL]

@article{benedetti2022blackit,
  doi = {10.21105/joss.04622},
  url = {https://doi.org/10.21105/joss.04622},
  year = {2022},
  publisher = {The Open Journal},
  volume = {7},
  number = {79},
  pages = {4622},
  author = {Benedetti, Marco and Catapano, Gennaro and {De Sclavis}, Francesco and Favorito, Marco and Glielmo, Aldo and Magnanimi, Davide and Muci, Antonio},
  title = {Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models},
  journal = {Journal of Open Source Software}
}

[c] G. De Giacomo, M. Favorito, F. Leotta, M. Mecella, and L. Silo, “Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes,” in PMAI@IJCAI, 2022, vol. 3310, pp. 101–104. [Bibtex] [PDF]

@inproceedings{degiacomo2022modeling,
  author = {{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Silo, Luciana},
  title = {Modeling resilient cyber-physical processes and their composition
                 from digital twins via Markov Decision Processes},
  booktitle = {PMAI@IJCAI},
  series = {{CEUR} Workshop Proceedings},
  volume = {3310},
  pages = {101--104},
  publisher = {CEUR-WS.org},
  year = {2022}
}

[c] G. D. Giacomo, M. Favorito, J. Li, M. Y. Vardi, S. Xiao, and S. Zhu, “LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work,” in IJCAI, 2022, pp. 2591–2598. [Bibtex] [PDF]

@inproceedings{DBLP:conf/ijcai/GiacomoFLVX022,
  author = {Giacomo, Giuseppe De and Favorito, Marco and Li, Jianwen and Vardi, Moshe Y. and Xiao, Shengping and Zhu, Shufang},
  title = {LTLf Synthesis as {AND-OR} Graph Search: Knowledge Compilation at
                 Work},
  booktitle = {{IJCAI}},
  pages = {2591--2598},
  publisher = {ijcai.org},
  year = {2022}
}

[c] T. Baldazzi, L. Bellomarini, M. Favorito, and E. Sallinger, “On the Relationship between Shy and Warded Datalog+/-,” in KR, 2022. [Bibtex] [PDF]

@inproceedings{baldazzi2022relationship,
  title = {On the Relationship between Shy and Warded Datalog+/-},
  author = {Baldazzi, Teodoro and Bellomarini, Luigi and Favorito, Marco and Sallinger, Emanuel},
  year = {2022},
  booktitle = {KR}
}

[i] R. Cipollone, G. De Giacomo, M. Favorito, L. Iocchi, and F. Patrizi, “Exploiting Multiple Levels of Abstractions in Episodic RL via Reward Shaping,” PRL Workshop @ IJCAI. 2022. [Bibtex] [PDF] [URL]

@misc{cipollone2022exploiting,
  title = {Exploiting Multiple Levels of Abstractions in Episodic RL via Reward Shaping},
  author = {Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
  booktitle = {PRL Workshop @ IJCAI},
  year = {2022},
  url = {https://prl-theworkshop.github.io/prl2022-ijcai/papers/PRL2022_paper_24.pdf}
}

[i] M. Benedetti et al., “A PoW-less Bitcoin with Certified Byzantine Consensus.” arXiv, 2022. [Bibtex] [PDF] [URL]

@misc{benedetti2022powless,
  doi = {10.48550/ARXIV.2207.06870},
  url = {https://arxiv.org/abs/2207.06870},
  author = {Benedetti, Marco and De Sclavis, Francesco and Favorito, Marco and Galano, Giuseppe and Giammusso, Sara and Muci, Antonio and Nardelli, Matteo},
  keywords = {Distributed, Parallel, and Cluster Computing (cs.DC), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {A PoW-less Bitcoin with Certified Byzantine Consensus},
  publisher = {arXiv},
  year = {2022},
  copyright = {Creative Commons Attribution 4.0 International}
}

[i] G. De Giacomo, M. Favorito, and F. Fuggitti, “Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.” arXiv, 2022. [Bibtex] [PDF] [URL]

@misc{degiacomo2022planning,
  doi = {10.48550/ARXIV.2204.09960},
  url = {https://arxiv.org/abs/2204.09960},
  author = {{De Giacomo}, Giuseppe and Favorito, Marco and Fuggitti, Francesco},
  keywords = {Artificial Intelligence (cs.AI), FOS: Computer and information sciences, FOS: Computer and information sciences},
  title = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning},
  publisher = {arXiv},
  year = {2022},
  copyright = {arXiv.org perpetual, non-exclusive license}
}

2021

[c] G. De Giacomo, M. Favorito, F. Leotta, M. Mecella, and L. Silo, “Digital Twins Composition via Markov Decision Processes,” in ITBPM@BPM, 2021, vol. 2952, pp. 44–49. [Bibtex] [PDF]

@inproceedings{degiacomo2021digital,
  author = {{De Giacomo}, Giuseppe and Favorito, Marco and Leotta, Francesco and Mecella, Massimo and Silo, Luciana},
  title = {Digital Twins Composition via Markov Decision Processes},
  booktitle = {ITBPM@BPM},
  series = {{CEUR} Workshop Proceedings},
  volume = {2952},
  pages = {44--49},
  publisher = {CEUR-WS.org},
  year = {2021}
}

[c] S. A. Hosseini, D. Minarsch, and M. Favorito, “A Practical Framework for General Dialogue-based Bilateral Interactions,” in 9th International Workshop on Engineering Multi-Agent Systems, 2021. [Bibtex] [PDF]

@inproceedings{hosseini2021practical,
  author = {Hosseini, Seyed Ali and Minarsch, David and Favorito, Marco},
  title = {A Practical Framework for General Dialogue-based Bilateral Interactions},
  booktitle = {9th International Workshop on Engineering Multi-Agent Systems},
  year = {2021}
}

[c] D. Minarsch, M. Favorito, S. A. Hosseini, Y. Turchenkov, and J. Ward, “Autonomous Economic Agent Framework,” in 9th International Workshop on Engineering Multi-Agent Systems, 2021. [Bibtex] [PDF]

@inproceedings{minarsch2021autonomous,
  author = {Minarsch, David and Favorito, Marco and Hosseini, Seyed Ali and Turchenkov, Yuri and Ward, Jonathan},
  title = {Autonomous Economic Agent Framework},
  booktitle = {9th International Workshop on Engineering Multi-Agent Systems},
  year = {2021}
}

[c] G. De Giacomo and M. Favorito, “Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata,” in Proceedings of the International Conference on Automated Planning and Scheduling, 2021, vol. 14. [Bibtex] [PDF] [IPFS] [Slides]

@inproceedings{degiacomo2021compositional,
  author = {{De Giacomo}, Giuseppe and Favorito, Marco},
  title = {Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  volume = {14},
  year = {2021},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmUJu9xuwG8m2Rgznr563WmKwq2jpnpKih3ngSMgX5A1yh},
  slides = {}
}

[c] D. Minarsch, S. A. Hosseini, M. Favorito, and J. Ward, “Trading Agent Competition with Autonomous Economic Agents,” in Proceedings of the International Conference on Agents and Artificial Intelligence, ICAART, 2021, vol. 13, pp. 574–582. [Bibtex] [PDF] [IPFS]

@inproceedings{minarsch2021trading,
  author = {Minarsch, David and Hosseini, Seyed Ali and Favorito, Marco and Ward, Jonathan},
  title = {Trading Agent Competition with Autonomous Economic Agents},
  booktitle = {Proceedings of the International Conference on Agents and Artificial
                 Intelligence, {ICAART}},
  pages = {574--582},
  volume = {13},
  year = {2021},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmPESKWV8tE41cfwijy3PZQSRb8WYc2S7JsRsnsQhL92m4}
}

[i] R. Cipollone, G. De Giacomo, M. Favorito, L. Iocchi, and F. Patrizi, “Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning,” 20th International Conference of the Italian Association for Artificial Intelligence. 2021. [Bibtex] [PDF]

@misc{degiacomo2021exploiting,
  author = {Cipollone, Roberto and {De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
  title = {Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning},
  booktitle = {20th International Conference of the Italian Association for Artificial Intelligence},
  year = {2021}
}

[i] G. De Giacomo, M. Favorito, L. Iocchi, and F. Patrizi, “Domain-independent Reward Machines for Modular Integration of Planning and Learning,” PRL Workshop @ ICAPS. 2021. [Bibtex] [PDF]

@misc{degiacomo2021domain,
  author = {{De Giacomo}, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
  title = {Domain-independent Reward Machines for Modular Integration of Planning and Learning},
  booktitle = {PRL Workshop @ ICAPS},
  year = {2021}
}

[i] M. Favorito and G. De Giacomo, “Lydia: A Tool for Compositional LTLf/LDLfSynthesis,” Demo track @ ICAPS. 2021. [Bibtex] [PDF] [URL]

@misc{favorito2021lydia,
  author = {Favorito, Marco and {De Giacomo}, Giuseppe},
  title = {Lydia: A Tool for Compositional LTLf/LDLfSynthesis},
  booktitle = {Demo track @ ICAPS},
  year = {2021},
  url = {https://icaps21.icaps-conference.org/demos/}
}

2020

[c] G. De Giacomo, M. Favorito, L. Iocchi, and F. Patrizi, “Imitation Learning over Heterogeneous Agents with Restraining Bolts,” in Proceedings of the International Conference on Automated Planning and Scheduling, 2020, vol. 30, pp. 517–521. [Bibtex] [PDF] [IPFS]

@inproceedings{de2020imitation,
  title = {Imitation Learning over Heterogeneous Agents with Restraining Bolts},
  author = {De Giacomo, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  volume = {30},
  pages = {517--521},
  year = {2020},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmSbyYBD42eqMad9jyXRxWjrPQkGVW7K8L6mqf33PVAyEG}
}

[c] G. De Giacomo, L. Iocchi, M. Favorito, and F. Patrizi, “Restraining bolts for Reinforcement Learning agents,” in Proceedings of the International Conference on Automated Planning and Scheduling, 2020, vol. 34, pp. 13659–13662. [Bibtex] [PDF] [IPFS]

@inproceedings{de2020restraining,
  title = {Restraining bolts for Reinforcement Learning agents},
  author = {De Giacomo, Giuseppe and Iocchi, Luca and Favorito, Marco and Patrizi, Fabio},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  volume = {34},
  pages = {13659--13662},
  year = {2020},
  ipfs = {https://gateway.pinata.cloud/ipfs/Qma9hdTMrhzK7STGCEwM8GvTTk5mvya7zdWdVU9tEaPuqg}
}

[c] G. De Giacomo, M. Favorito, L. Iocchi, F. Patrizi, and A. Ronca, “Temporal Logic Monitoring Rewards via Transducers,” in Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 2020, vol. 17, pp. 860–870. [Bibtex] [PDF] [IPFS]

@inproceedings{de2020temporal,
  title = {Temporal Logic Monitoring Rewards via Transducers},
  author = {De Giacomo, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio and Ronca, Alessandro},
  booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning},
  volume = {17},
  pages = {860--870},
  year = {2020},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmX93eZjj5PBoN6abW9myVAHHBLY4yFkGyMg4mgPFdyqXi}
}

[c] D. Minarsch, M. Favorito, A. Hosseini, and J. Ward, “Trading Agent Competition with Autonomous Economic Agents,” in Proceedings of the International Conference on Autonomous Agents and MultiAgent Systems, 2020, vol. 19, pp. 2107–2110. [Bibtex] [PDF] [IPFS]

@inproceedings{minarsch2020trading,
  title = {Trading Agent Competition with Autonomous Economic Agents},
  author = {Minarsch, David and Favorito, Marco and Hosseini, Ali and Ward, Jonathan},
  booktitle = {Proceedings of the International Conference on Autonomous Agents and MultiAgent Systems},
  volume = {19},
  pages = {2107--2110},
  year = {2020},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmbrbAXXgeRBCDB4PDhBFyiPPbkGxZdUYYo2GqDMTt3A51}
}

[c] D. Minarsch, M. Favorito, A. Hosseini, and J. Ward, “Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration,” in Crypto Valley Conference on Blockchain Technology (CVCBT), 2020. [Bibtex] [PDF] [IPFS]

@inproceedings{minarsch2020autonomous,
  title = {Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration},
  author = {Minarsch, David and Favorito, Marco and Hosseini, Ali and Ward, Jonathan},
  booktitle = {Crypto Valley Conference on Blockchain Technology (CVCBT)},
  journal = {Crypto Valley Conference on Blockchain Technology (CVCBT)},
  publisher = {IEEE},
  year = {2020},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmQ2ovasBJbUqHZzqBVocg6TQNWW1XUkppcqWhgpsJLpXn}
}

[i] M. Favorito, “Standard Grammars for LTL and LDL (v0.1.0).” 2020. [Bibtex] [PDF] [URL]

@misc{favorito2020standard,
  title = {Standard Grammars for LTL and LDL (v0.1.0)},
  author = {Favorito, Marco},
  year = {2020},
  eprint = {2012.13638},
  archiveprefix = {arXiv},
  primaryclass = {cs.LO},
  url = {https://marcofavorito.me/tl-grammars/}
}

2019

[c] S. A. Hosseini, D. Campbell, M. Favorito, and J. Ward, “Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe,” in Proceedings of the International Conference on Autonomous Agents and MultiAgent Systems, 2019, vol. 18, pp. 2360–2362. [Bibtex] [PDF] [IPFS]

@inproceedings{hosseini2019peer,
  title = {Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe},
  author = {Hosseini, Seyed Ali and Campbell, Diarmid and Favorito, Marco and Ward, Jonathan},
  booktitle = {Proceedings of the International Conference on Autonomous Agents and MultiAgent Systems},
  volume = {18},
  pages = {2360--2362},
  year = {2019},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmZuCJFQSMFfdaGY3tevE1hL7khqSrL2zn9MiiKNYMABj2}
}

[c] G. De Giacomo, L. Iocchi, M. Favorito, and F. Patrizi, “Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications,” in Proceedings of the International Conference on Automated Planning and Scheduling, 2019, vol. 29, pp. 128–136. [Bibtex] [PDF] [IPFS]

@inproceedings{de2019foundations,
  title = {Foundations for restraining bolts: Reinforcement learning with LTLf/LDLf restraining specifications},
  author = {De Giacomo, Giuseppe and Iocchi, Luca and Favorito, Marco and Patrizi, Fabio},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  volume = {29},
  pages = {128--136},
  year = {2019},
  ipfs = {https://gateway.pinata.cloud/ipfs/QmfXaMm4WSe2WztyvusP1VT728wSCuFxTSQ2Vd4BGQFpEM}
}