TACCHELLA, ARMANDO

TACCHELLA, ARMANDO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.072 secondi).
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
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
Report of the Third QBF Solvers Evaluation 1-gen-2006 Narizzano, Massimo; Pulina, L.; Tacchella, Armando