The modal μ-calculus hierarchy over restricted classes of transition systems L Alberucci, A Facchini The Journal of Symbolic Logic 74 (4), 1367-1400, 2009 | 50 | 2009 |
Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices A Benavoli, A Facchini, M Zaffalon Physical Review A 94 (4), 2016 | 34 | 2016 |
On Modal μ-Calculus and Gödel-Löb Logic L Alberucci, A Facchini Studia Logica 91, 145-169, 2009 | 29 | 2009 |
Rabin-Mostowski index problem: A step beyond deterministic automata A Facchini, F Murlak, M Skrzypczak 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 499-508, 2013 | 22 | 2013 |
A polarity theory for sets of desirable gambles A Benavoli, A Facchini, M Zaffalon, J Vicente-Pérez Proceedings of the Tenth International Symposium on Imprecise Probability …, 2017 | 17 | 2017 |
A characterization theorem for the alternation-free fragment of the modal µ-calculus A Facchini, Y Venema, F Zanasi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 478-487, 2013 | 17 | 2013 |
Weak MSO: Automata and Expressiveness Modulo Bisimilarity F Carreiro, A Facchini, Y Venema, F Zanasi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 14 | 2014 |
A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics A Benavoli, A Facchini, M Zaffalon Foundations of Physics 47 (7), 991–1002, 2017 | 13 | 2017 |
Definable Operations On Weakly Recognizable Sets of Trees. J Duparc, A Facchini, F Murlak FSTTCS, 363-374, 2011 | 13 | 2011 |
Evaluating the effects of social interactions on a distributed demand side management system for domestic appliances A Facchini, C Rottondi, G Verticale Energy Efficiency 10, 1175-1188, 2017 | 12 | 2017 |
The wadge hierarchy of max-regular languages J Cabessa, J Duparc, A Facchini, F Murlak FSTTCS, 121-132, 2009 | 12 | 2009 |
Towards a Taxonomy for the Opacity of AI Systems A Facchini, A Termine Conference on Philosophy and Theory of Artificial Intelligence, 73-89, 2022 | 11 | 2022 |
Tractable inference in credal sentential decision diagrams L Mattei, A Antonucci, DD Mauá, A Facchini, JV Llerena International Journal of Approximate Reasoning 125, 26-48, 2020 | 10 | 2020 |
The power of the weak F Carreiro, A Facchini, Y Venema, F Zanasi ACM Transactions on Computational Logic (TOCL) 21 (2), 1-47, 2020 | 10 | 2020 |
Index Problems for Game Automata A Facchini, F Murlak, M Skrzypczak ACM Transactions on Computational Logic 17 (4), 1-38, 2016 | 10 | 2016 |
Sum-of-squares for bounded rationality A Benavoli, A Facchini, D Piga, M Zaffalon International Journal of Approximate Reasoning 105, 130-152, 2019 | 9 | 2019 |
Exploring the space of probabilistic sentential decision diagrams L Mattei, DL Soares, A Antonucci, DD Mauá, A Facchini Proceedings of Machine Learning Research-PMLR, 2019 | 9 | 2019 |
Characterizing EF over infinite trees and modal logic on transitive graphs B ten Cate, A Facchini Proceedings of the 36th international conference on Mathematical foundations …, 2011 | 9 | 2011 |
The weirdness theorem and the origin of quantum paradoxes A Benavoli, A Facchini, M Zaffalon Foundations of Physics 51 (5), 95, 2021 | 8 | 2021 |
Gamified approaches for Water Management Systems: An Overview A Castelletti, A Cominola, A Facchini, M Giuliani, P Fraternali, S Herrera, ... Smart Water Grids: A Cyber-Physical Systems Approach, 169-201, 2018 | 8 | 2018 |