Armando Tacchella

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 69

Top Venues

Publications

Stefano Demarchi, Andrea Gimelli, Armando Tacchella
Improving Abstract Propagation For Verification Of Neural Networks. ECMS (2024)
Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale
Learning Linear Temporal Properties for Autonomous Robotic Systems. IEEE Robotics Autom. Lett. 8 (5) (2023)
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV (2023)
Enrico Giunchiglia, Armando Tacchella
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA (2023)
Massimo Narizzano, Armando Tacchella
Verification Of Data-Intensive Embedded Systems. ECMS (2023)
Luca Oneto, Nicolò Navarin, Battista Biggio, Federico Errica, Alessio Micheli, Franco Scarselli, Monica Bianchini, Luca Demetrio, Pietro Bongini, Armando Tacchella, Alessandro Sperduti
Towards learning trustworthily, automatically, and with guarantees on graphs: An overview. Neurocomputing 493 (2022)
Giuseppe Cicala, Stefano Demarchi, Marco Menapace, Leopoldo Annunziata, Armando Tacchella
A comparison of declarative AI techniques for computer automated design of elevator systems. Intelligenza Artificiale 16 (1) (2022)
Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS (2022)
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
A Toolchain to Design, Execute, and Monitor Robots Behaviors. CoRR (2021)
Stefano Demarchi, Marco Menapace, Armando Tacchella
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. AI*IA (2021)
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR (2021)
Dario Guidotti, Luca Pulina, Armando Tacchella
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA (2021)
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. IROS (2021)
Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella
OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC (2021)
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. CoRR (2021)
Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella
Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. ECMS (2021)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR (2020)
Dario Guidotti, Luca Pulina, Armando Tacchella
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR (2020)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM (2020)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI (2020)
Alberto Tacchella, Armando Tacchella
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. ECMS (2020)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR (2020)
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
Optimal Planning Modulo Theories. IJCAI (2020)
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
Automata based test generation with SpecPro. RET@ICSE (2019)
Stefano Demarchi, Marco Menapace, Armando Tacchella
Automating Elevator Design with Satisfiability Modulo Theories. ICTAI (2019)
Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. 58 (2019)
Stefano Demarchi, Armando Tacchella, Marco Menapace
Automated Design of Complex Systems with Constraint Programming Techniques. CPS Summer School, PhD Workshop (2019)
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella
SMT-based Planning for Robots in Smart Factories. IEA/AIE (2019)
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS (2019)
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR (2019)
Arthur Bit-Monnot, Luca Pulina, Armando Tacchella
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS (2019)
Giuseppina Murino, Alessandro Armando, Armando Tacchella
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon (2019)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA (2019)
Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella
Conditional Behavior Trees: Definition, Executability, and Applications. SMC (2019)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers 21 (1) (2019)
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST (2019)
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR (2018)
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT (2018)
Shashank Pathak, Luca Pulina, Armando Tacchella
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48 (4) (2018)
Francesco Leofante, Erika Ábrahám, Armando Tacchella
Task Planning with OMT: An Application to Production Logistics. IFM (2018)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM (2018)
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella
SMarTplan: a Task Planner for Smart Factories. CoRR (2018)
Giuseppina Murino, Armando Tacchella
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. ECMS (2018)
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR (2018)
Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7 (2) (2017)
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella
Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. 92 (2017)
Luca Pulina, Armando Tacchella
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference (2017)
Leopoldo Annunziata, Marco Menapace, Armando Tacchella
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. ECMS (2017)
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR (2017)
Marco Menapace, Armando Tacchella
Ontologies in System Engineering: A Field Report. IEA/AIE (1) (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR (2017)
Marco Menapace, Armando Tacchella
Ontologies in System Engineering: a Field Report. CoRR (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI (2017)
Ali Khalili, Massimo Narizzano, Armando Tacchella
Learning for Verification in Embedded Systems: A Case Study. AI*IA (2016)
Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. ECMS (2016)
Shashank Pathak, Luca Pulina, Armando Tacchella
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29 (2) (2016)
Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella
Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. ICALT (2016)
Francesco Leofante, Armando Tacchella
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA (2016)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149 (1-2) (2016)
Francesco Leofante, Luca Pulina, Armando Tacchella
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA (2016)
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA (2016)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) (2016)
Shashank Pathak, Luca Pulina, Armando Tacchella
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA (2015)
Shashank Pathak, Luca Pulina, Armando Tacchella
A Case for Robust AI in Robotics. AIRO@AI*IA (2015)
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE (2015)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA (2015)
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM (2015)
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
Computational thinking for beginners: A successful experience using Prolog. CILC (2015)
Ali Khalili, Armando Tacchella
Learning Nondeterministic Mealy Machines. ICGI (2014)
Ali Khalili, Lorenzo Natale, Armando Tacchella
Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR (2014)
Ali Khalili, Lorenzo Natale, Armando Tacchella
Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR (2014)
Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, G. Zolezzi
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT (2014)
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS (2014)
Shashank Pathak, Giorgio Metta, Armando Tacchella
Is verification a requisite for safe adaptive robots? SMC (2014)
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. IROS (2013)
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia (2013)
Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella
OBDA and Intermodal Logistics: Active Projects and Applications. RR (2013)
Giuseppe Cicala, Marco Oreggia, Armando Tacchella
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. AI*IA (2013)
Matteo Casu, Giuseppe Cicala, Armando Tacchella
Ontology-based data access: An application to intermodal logistics. Inf. Syst. Frontiers 15 (5) (2013)
Luca Pulina, Armando Tacchella
Challenging SMT solvers to verify neural networks. AI Commun. 25 (2) (2012)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas CoRR (2011)
Luca Pulina, Armando Tacchella
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA (2011)
Luca Pulina, Armando Tacchella
NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62 (3-4) (2011)
Matteo Casu, Armando Tacchella
From Natural Language Definitions to Knowledge Bases Axioms. AI*IA (2011)
Luca Pulina, Armando Tacchella
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV (2010)
Claudia Peschiera, Luca Pulina, Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR (2010)
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT (2010)
Luca Pulina, Armando Tacchella
AQME'10. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Luca Pulina, Armando Tacchella
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Informaticae 102 (3-4) (2010)
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Safe and effective learning: A case study. ICRA (2010)
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) (2010)
Anahì Balbi, Michael Provost, Armando Tacchella
Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. IEA/AIE (1) (2010)
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella
Collaborative Expert Portfolio Management. AAAI (2010)
Luca Pulina, Armando Tacchella
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS (2009)
Luca Pulina, Armando Tacchella
A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints An Int. J. 14 (1) (2009)
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22 (4) (2009)
Luca Pulina, Armando Tacchella
A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI (2009)
Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE (2009)
Luca Pulina, Armando Tacchella
Hard QBF Encodings Made Easy: Dream or Reality? AI*IA (2009)

Armando Tacchella.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Armando Tacchella