default search action
Marco Favorito
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c34]Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger:
Towards FATEful Smart Contracts. DLT 2024 - [c33]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Stochastic Services for LTLf Goal Specifications. FoIKS 2024: 298-316 - [c32]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). IJCAI 2024: 8378-8383 - [c31]Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures. PADL 2024: 169-185 - [c30]Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli:
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies. PerCom Workshops 2024: 530-536 - [c29]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
LTLf Goal-oriented Service Composition. PMAI@ECAI 2024: 35-46 - [i11]Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli:
Self-Balancing Semi-Hierarchical PCNs for CBDCs. CoRR abs/2401.11868 (2024) - 2023
- [j2]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. 149: 103916 (2023) - [c28]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI 2023: 7227-7234 - [c27]Marco Favorito:
Forward LTLf Synthesis: DPLL At Work. IPS-RCRA-SPIRIT@AI*IA 2023 - [c26]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS 2023: 61-69 - [c25]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo:
AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum 2023: 112-120 - [c24]Marco Benedetti, Marco Favorito, Matteo Nardelli:
Orchestration of Blockchain-based Digital Twins. DLT 2023 - [c23]Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli:
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT. DLT 2023 - [c22]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI 2023: 279-286 - [c21]Marco Favorito:
Efficient Algorithms for LTLf Synthesis. EUMAS 2023: 540-546 - [c20]Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti:
Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs. ICAIF 2023: 305-313 - [c19]Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli:
PoW-less Bitcoin with Confidential Byzantine PoA. ICBC 2023: 1-3 - [c18]Marco Favorito:
Forward LTLf Synthesis: DPLL At Work. OVERLAY@AI*IA 2023: 67-72 - [c17]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA 2023: 73-77 - [c16]Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi:
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA 2023: 93-98 - [i10]Aldo Glielmo, Marco Favorito, Debmallya Chanda, Domenico Delli Gatti:
Combining search strategies to improve performance in the calibration of economic ABMs. CoRR abs/2302.11835 (2023) - [i9]Marco Favorito:
Forward LTLf Synthesis: DPLL At Work. CoRR abs/2302.13825 (2023) - [i8]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR abs/2303.00516 (2023) - [i7]Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report). CoRR abs/2311.12236 (2023) - [i6]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR abs/2311.18114 (2023) - 2022
- [j1]Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci:
Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models. J. Open Source Softw. 7(79): 4622 (2022) - [c15]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI 2022: 101-104 - [c14]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [c13]Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
On the Relationship between Shy and Warded Datalog+/-. KR 2022 - [i5]Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger:
On the Relationship between Shy and Warded Datalog+/-. CoRR abs/2202.06285 (2022) - [i4]Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR abs/2204.09960 (2022) - [i3]Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli:
A PoW-less Bitcoin with Certified Byzantine Consensus. CoRR abs/2207.06870 (2022) - 2021
- [c12]Giuseppe De Giacomo, Marco Favorito:
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS 2021: 122-130 - [c11]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM 2021: 44-49 - [c10]David Minarsch, Marco Favorito, Seyed Ali Hosseini, Yuri Turchenkov, Jonathan Ward:
Autonomous Economic Agent Framework. EMAS@AAMAS 2021: 237-253 - [c9]Seyed Ali Hosseini, David Minarsch, Marco Favorito:
A Practical Framework for General Dialogue-Based Bilateral Interactions. EMAS@AAMAS 2021: 312-331 - [c8]David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward:
Trading Agent Competition with Autonomous Economic Agents. ICAART (1) 2021: 574-582 - 2020
- [c7]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020: 13659-13662 - [c6]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS 2020: 517-521 - [c5]David Minarsch, Marco Favorito, Ali Hosseini, Jonathan Ward:
Trading Agent Competition with Autonomous Economic Agents. AAMAS 2020: 2107-2110 - [c4]David Minarsch, Seyed Ali Hosseini, Marco Favorito, Jonathan Ward:
Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration. CVCBT 2020: 27-35 - [c3]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca:
Temporal Logic Monitoring Rewards via Transducers. KR 2020: 860-870 - [i2]Marco Favorito:
Standard Grammars for LTL and LDL (v0.1.0). CoRR abs/2012.13638 (2020)
2010 – 2019
- 2019
- [c2]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS 2019: 128-136 - [c1]Seyed Ali Hosseini, Diarmid Campbell, Marco Favorito, Jonathan Ward:
Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe. AAMAS 2019: 2360-2362 - 2018
- [i1]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Reinforcement Learning for LTLf/LDLf Goals. CoRR abs/1807.06333 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint