TACCHELLA, ARMANDO
TACCHELLA, ARMANDO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A comparison of declarative AI techniques for computer automated design of elevator systems
2022-01-01 Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A
A Self-adaptive Multi-engine solver for quantified Boolean formulas
2009-01-01 Tacchella, Armando; Pulina, L.
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics
2001-01-01 Giunchiglia, Enrico; Tacchella, Armando
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing.
2010-01-01 Pulina, L; Tacchella, Armando
AQME’10 System Description.
2010-01-01 Pulina, L; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability
2003-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Challenging SMT solvers to verify neural networks
2012-01-01 L., Pulina; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
2006-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Evaluating and certifying QBFs: A comparison of state-of-the-art tools
2009-01-01 Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando
Evaluating probabilistic model checking tools for verification of robot control policies
2016-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
2018-01-01 Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando
Learning Linear Temporal Properties for Autonomous Robotic Systems
2023-01-01 Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L
Learning middleware models for verification of distributed control programs
2017-01-01 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando
NeVer2: learning and verification of neural networks
2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
NeVer: a tool for artificial neural networks verification
2011-01-01 Luca, Pulina; Tacchella, Armando
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper
2014-01-01 Ancona, Massimo; Corradi, Nicola; Dellacasa, A.; Delzanno, Giorgio; Dugelay, J. L.; Federici, Bianca; Gourbesville, P.; Guerrini, Giovanna; LA CAMERA, Andrea; Rosso, P.; Stephens, J.; Tacchella, Armando; Zolezzi, G.
Ontology-based data access: An application to intermodal logistics
2012-01-01 Matteo, Casu; Cicala, Giuseppe; Tacchella, Armando
Property specification patterns at work: verification and inconsistency explanation
2019-01-01 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Quantifier Structure in search based procedures for QBFs
2007-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A comparison of declarative AI techniques for computer automated design of elevator systems | 1-gen-2022 | Cicala, G; Demarchi, S; Menapace, M; Annunziata, L; Tacchella, A | |
| A Self-adaptive Multi-engine solver for quantified Boolean formulas | 1-gen-2009 | Tacchella, Armando; Pulina, L. | |
| A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics | 1-gen-2001 | Giunchiglia, Enrico; Tacchella, Armando | |
| An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. | 1-gen-2010 | Pulina, L; Tacchella, Armando | |
| AQME’10 System Description. | 1-gen-2010 | Pulina, L; Tacchella, Armando | |
| Backjumping for Quantified Boolean Logic satisfiability | 1-gen-2003 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Challenging SMT solvers to verify neural networks | 1-gen-2012 | L., Pulina; Tacchella, Armando | |
| Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas | 1-gen-2006 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Evaluating and certifying QBFs: A comparison of state-of-the-art tools | 1-gen-2009 | Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando | |
| Evaluating probabilistic model checking tools for verification of robot control policies | 1-gen-2016 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Improving Reliability of Myocontrol Using Formal Verification | 1-gen-2019 | Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C. | |
| Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics | 1-gen-2018 | Leofante, Francesco; Ábrahám, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando | |
| Learning Linear Temporal Properties for Autonomous Robotic Systems | 1-gen-2023 | Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L | |
| Learning middleware models for verification of distributed control programs | 1-gen-2017 | Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando | |
| NeVer2: learning and verification of neural networks | 1-gen-2024 | Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A. | |
| NeVer: a tool for artificial neural networks verification | 1-gen-2011 | Luca, Pulina; Tacchella, Armando | |
| On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper | 1-gen-2014 | Ancona, Massimo; Corradi, Nicola; Dellacasa, A.; Delzanno, Giorgio; Dugelay, J. L.; Federici, Bianca; Gourbesville, P.; Guerrini, Giovanna; LA CAMERA, Andrea; Rosso, P.; Stephens, J.; Tacchella, Armando; Zolezzi, G. | |
| Ontology-based data access: An application to intermodal logistics | 1-gen-2012 | Matteo, Casu; Cicala, Giuseppe; Tacchella, Armando | |
| Property specification patterns at work: verification and inconsistency explanation | 1-gen-2019 | Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S. | |
| Quantifier Structure in search based procedures for QBFs | 1-gen-2007 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando |