FAVORITO, MARCO
FAVORITO, MARCO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A PoW-less Bitcoin with Certified Byzantine Consensus
2022 Benedetti, Marco; De Sclavis, Francesco; Favorito, Marco; Galano, Giuseppe; Giammusso, Sara; Muci, Antonio; Nardelli, Matteo
A Practical Framework for General Dialogue-Based Bilateral Interactions
2021 Hosseini, Seyed Ali; Minarsch, David; Favorito, Marco
AIDA: A Tool for Resiliency in Smart Manufacturing
2023 DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana
Automata-theoretic techniques for reasoning and learning in linear-time temporal logics on finite traces
2022 Favorito, Marco
Autonomous Economic Agent Framework
2021 Minarsch, David; Favorito, Marco; Hosseini, Seyed Ali; Turchenkov, Yuri; Ward, Jonathan
Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration
2020 Minarsch, D.; Hosseini, S. A.; Favorito, M.; Ward, J.
Composition of Nondeterministic Services for LTLf Task Specification
2023 De Giacomo, G.; Favorito, M.; Silo, L.
Composition of Stochastic Services for LTLf Goal Specifications
2024 DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
2021 DE GIACOMO, Giuseppe; Favorito, Marco
Digital twins composition in smart manufacturing via Markov decision processes
2023 DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana
Digital Twins Composition via Markov Decision Processes
2021 De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L.
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping
2023 Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F.
FOND Planning for Pure-Past Linear Temporal Logic Goals
2023 Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications
2019 DE GIACOMO, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio
Imitation learning over heterogeneous agents with restraining bolts
2020 DE GIACOMO, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio
LTLf Goal-oriented Service Composition
2024 DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work
2022 De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S.
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes
2022 DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana
On the Relationship between Shy and Warded Datalog+/-
2022 Baldazzi, Teodoro; Bellomarini, Luigi; Favorito, Marco; Sallinger, Emanuel
Orchestration of Services in Smart Manufacturing through Automated Synthesis
2024 Monti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A PoW-less Bitcoin with Certified Byzantine Consensus | 2022 | Benedetti, Marco; De Sclavis, Francesco; Favorito, Marco; Galano, Giuseppe; Giammusso, Sara; Muci, Antonio; Nardelli, Matteo | |
| A Practical Framework for General Dialogue-Based Bilateral Interactions | 2021 | Hosseini, Seyed Ali; Minarsch, David; Favorito, Marco | |
| AIDA: A Tool for Resiliency in Smart Manufacturing | 2023 | DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana | |
| Automata-theoretic techniques for reasoning and learning in linear-time temporal logics on finite traces | 2022 | Favorito, Marco | |
| Autonomous Economic Agent Framework | 2021 | Minarsch, David; Favorito, Marco; Hosseini, Seyed Ali; Turchenkov, Yuri; Ward, Jonathan | |
| Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration | 2020 | Minarsch, D.; Hosseini, S. A.; Favorito, M.; Ward, J. | |
| Composition of Nondeterministic Services for LTLf Task Specification | 2023 | De Giacomo, G.; Favorito, M.; Silo, L. | |
| Composition of Stochastic Services for LTLf Goal Specifications | 2024 | DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana | |
| Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata | 2021 | DE GIACOMO, Giuseppe; Favorito, Marco | |
| Digital twins composition in smart manufacturing via Markov decision processes | 2023 | DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana | |
| Digital Twins Composition via Markov Decision Processes | 2021 | De Giacomo, G.; Favorito, M.; Leotta, F.; Mecella, M.; Silo, L. | |
| Exploiting Multiple Abstractions in Episodic RL via Reward Shaping | 2023 | Cipollone, R.; De Giacomo, G.; Favorito, M.; Iocchi, L.; Patrizi, F. | |
| FOND Planning for Pure-Past Linear Temporal Logic Goals | 2023 | Bonassi, Luigi; De Giacomo, Giuseppe; Favorito, Marco; Fuggitti, Francesco; Gerevini, Alfonso Emilio; Scala, Enrico | |
| Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications | 2019 | DE GIACOMO, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio | |
| Imitation learning over heterogeneous agents with restraining bolts | 2020 | DE GIACOMO, Giuseppe; Iocchi, Luca; Favorito, Marco; Patrizi, Fabio | |
| LTLf Goal-oriented Service Composition | 2024 | DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana | |
| LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work | 2022 | De Giacomo, G.; Favorito, M.; Li, J.; Vardi, M. Y.; Xiao, S.; Zhu, S. | |
| Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes | 2022 | DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Silo, Luciana | |
| On the Relationship between Shy and Warded Datalog+/- | 2022 | Baldazzi, Teodoro; Bellomarini, Luigi; Favorito, Marco; Sallinger, Emanuel | |
| Orchestration of Services in Smart Manufacturing through Automated Synthesis | 2024 | Monti, Flavia; Silo, Luciana; Favorito, Marco; De Giacomo, Giuseppe; Leotta, Francesco; Mecella, Massimo |