Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArmando Tacchella
Person information
- affiliation: University of Genova, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j27]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): 2930-2937 (2023)- [c99]Massimo Narizzano, Armando Tacchella:
Verification Of Data-Intensive Embedded Systems. ECMS 2023: 521-527 - [c98]Enrico Giunchiglia, Armando Tacchella:
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA 2023: 621-637 - 2022
- [j26]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): 131-150 (2022) - [j25]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: 217-243 (2022) - [c97]Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella:
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS 2022: 310-316 - [e2]Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella:
Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022. CEUR Workshop Proceedings 3252, CEUR-WS.org 2022 [contents] - 2021
- [c96]Stefano Demarchi, Marco Menapace, Armando Tacchella:
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. AI*IA 2021: 77-90 - [c95]Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA 2021: 357-363 - [c94]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: 260-266 - [c93]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: 9841-9848 - [c92]Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella:
OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC 2021: 9-22 - [c91]Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella:
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR 2021: 61-77 - [p2]Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2021: 1223-1266 - [i14]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 abs/2106.12474 (2021) - [i13]Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella:
A Toolchain to Design, Execute, and Monitor Robots Behaviors. CoRR abs/2106.15211 (2021) - 2020
- [c90]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI 2020: 2505-2512 - [c89]Alberto Tacchella, Armando Tacchella:
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. ECMS 2020: 345-353 - [c88]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134 - [c87]Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM 2020: 153-169 - [i12]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR abs/2003.07636 (2020) - [i11]Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR abs/2005.06750 (2020) - [i10]Dario Guidotti, Luca Pulina, Armando Tacchella:
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR abs/2011.09933 (2020)
2010 – 2019
- 2019
- [j24]Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella:
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. 58: 230-233 (2019) - [j23]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): 87-107 (2019) - [j22]Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15(3-4): 307-323 (2019) - [c86]Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA 2019: 405-417 - [c85]Arthur Bit-Monnot, Luca Pulina, Armando Tacchella:
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS 2019: 49-57 - [c84]Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella:
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR 2019: 364-373 - [c83]Stefano Demarchi, Armando Tacchella, Marco Menapace:
Automated Design of Complex Systems with Constraint Programming Techniques. CPS Summer School, PhD Workshop 2019: 51-59 - [c82]Giuseppina Murino, Alessandro Armando, Armando Tacchella:
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon 2019: 1-19 - [c81]Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella:
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS 2019: 407-413 - [c80]Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Automata based test generation with SpecPro. RET@ICSE 2019: 13-16 - [c79]Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST 2019: 363-366 - [c78]Stefano Demarchi, Marco Menapace, Armando Tacchella:
Automating Elevator Design with Satisfiability Modulo Theories. ICTAI 2019: 26-33 - [c77]Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella:
SMT-based Planning for Robots in Smart Factories. IEA/AIE 2019: 674-686 - [c76]Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella:
Conditional Behavior Trees: Definition, Executability, and Applications. SMC 2019: 1899-1906 - 2018
- [j21]Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018) - [c75]Giuseppina Murino, Armando Tacchella:
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. ECMS 2018: 433-439 - [c74]Francesco Leofante, Erika Ábrahám, Armando Tacchella:
Task Planning with OMT: An Application to Production Logistics. IFM 2018: 316-325 - [c73]Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM 2018: 383-398 - [c72]Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT 2018: 438-449 - [i9]Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018) - [i8]Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018) - [i7]Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella:
SMarTplan: a Task Planner for Smart Factories. CoRR abs/1806.07135 (2018) - 2017
- [j20]Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella:
Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. 92: 139-151 (2017) - [c71]Leopoldo Annunziata, Marco Menapace, Armando Tacchella:
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. ECMS 2017: 543-549 - [c70]Luca Pulina, Armando Tacchella:
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference 2017: 237-240 - [c69]Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: A Field Report. IEA/AIE (1) 2017: 502-506 - [c68]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: 403-410 - [i6]Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: a Field Report. CoRR abs/1702.07193 (2017) - [i5]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 abs/1711.04259 (2017) - [i4]Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR abs/1712.04162 (2017) - [i3]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): 48-63 (2017) - 2016
- [j19]Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016) - [j18]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): 133-158 (2016) - [c67]Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella:
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA 2016: 5-9 - [c66]Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA 2016: 11-25 - [c65]Ali Khalili, Massimo Narizzano, Armando Tacchella:
Learning for Verification in Embedded Systems: A Case Study. AI*IA 2016: 525-538 - [c64]Francesco Leofante, Armando Tacchella:
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: 539-552 - [c63]Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella:
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. ECMS 2016: 628-634 - [c62]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: 293-294 - [c61]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: 496-514 - 2015
- [c60]Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75 - [c59]Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103 - [c58]Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273 - [c57]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: 31-45 - [c56]Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37 - [c55]Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309 - 2014
- [c54]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, Guido Zolezzi:
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 2014: 941-946 - [c53]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: 1683-1700 - [c52]Ali Khalili, Armando Tacchella:
Learning Nondeterministic Mealy Machines. ICGI 2014: 109-123 - [c51]Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR 2014: 315-326 - [c50]Shashank Pathak, Giorgio Metta, Armando Tacchella:
Is verification a requisite for safe adaptive robots? SMC 2014: 3399-3402 - [i2]Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR abs/1411.1907 (2014) - 2013
- [j17]Matteo Casu, Giuseppe Cicala, Armando Tacchella:
Ontology-based data access: An application to intermodal logistics. Inf. Syst. Frontiers 15(5): 849-871 (2013) - [c49]Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia 2013 - [c48]Giuseppe Cicala, Marco Oreggia, Armando Tacchella:
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. AI*IA 2013: 25-36 - [c47]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: 170-175 - [c46]Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella:
OBDA and Intermodal Logistics: Active Projects and Applications. RR 2013: 210-215 - 2012
- [j16]Luca Pulina, Armando Tacchella:
Challenging SMT solvers to verify neural networks. AI Commun. 25(2): 117-135 (2012) - 2011
- [j15]Luca Pulina, Armando Tacchella:
NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62(3-4): 403-425 (2011) - [c45]Luca Pulina, Armando Tacchella:
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA 2011: 127-138 - [c44]Matteo Casu, Armando Tacchella:
From Natural Language Definitions to Knowledge Bases Axioms. AI*IA 2011: 445-450 - [i1]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011) - 2010
- [j14]Luca Pulina, Armando Tacchella:
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Informaticae 102(3-4): 391-427 (2010) - [j13]Luca Pulina, Armando Tacchella:
AQME'10. J. Satisf. Boolean Model. Comput. 7(2-3): 65-70 (2010) - [c43]David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella:
Collaborative Expert Portfolio Management. AAAI 2010: 179-184 - [c42]Claudia Peschiera, Luca Pulina, Armando Tacchella:
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR 2010: 19-32 - [c41]Luca Pulina, Armando Tacchella:
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV 2010: 243-257 - [c40]Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814 - [c39]Anahì Balbi, Michael Provost, Armando Tacchella:
Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. IEA/AIE (1) 2010: 123-132 - [c38]Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) 2010: 133-142 - [c37]Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce:
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT 2010: 237-250
2000 – 2009
- 2009
- [j12]Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella:
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22(4): 191-210 (2009) - [j11]Luca Pulina, Armando Tacchella:
A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints An Int. J. 14(1): 80-116 (2009) - [c36]Luca Pulina, Armando Tacchella:
Hard QBF Encodings Made Easy: Dream or Reality? AI*IA 2009: 31-41 - [c35]Luca Pulina, Armando Tacchella:
A structural approach to reasoning with quantified Boolean formulas. RCRA@AI*IA 2009 - [c34]Luca Pulina, Armando Tacchella:
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS 2009: 350-365 - [c33]Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella:
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE 2009: 449-458 - [c32]Luca Pulina, Armando Tacchella:
A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602 - [p1]Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2009: 781-824 - 2008
- [j10]Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li:
Guest Editors Conclusion. J. Satisf. Boolean Model. Comput. 4(2-4) (2008) - [c31]Luca Pulina, Armando Tacchella:
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542 - [c30]Luca Pulina, Armando Tacchella:
QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43 - 2007
- [j9]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(3): 497-507 (2007) - [c29]Massimo Narizzano, Luca Pulina, Armando Tacchella:
Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108 - [c28]Luca Pulina, Armando Tacchella:
A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589 - 2006
- [j8]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006) - [j7]Massimo Narizzano, Luca Pulina, Armando Tacchella:
Report of the Third QBF Solvers Evaluation. J. Satisf. Boolean Model. Comput. 2(1-4): 145-164 (2006) - [c27]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817 - [c26]Massimo Narizzano, Luca Pulina, Armando Tacchella:
The QBFEVAL Web Portal. JELIA 2006: 494-497 - 2005
- [c25]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58 - 2004
- [c24]