Armando Tacchella
Orcid: 0000-0001-9487-331XAffiliations:
- University of Genova, Italy
According to our database1,
Armando Tacchella
authored at least 134 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
5
10
15
1
1
2
1
2
1
1
3
3
2
2
1
1
1
2
2
1
1
2
2
1
2
1
2
3
1
6
4
11
4
4
7
6
5
4
2
7
4
2
2
1
1
4
3
4
4
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on aimslab.org
On csauthors.net:
Bibliography
2024
Proceedings of the European Robotics Forum 2024, 2024
Proceedings of the 38th ECMS International Conference on Modelling and Simulation, 2024
2023
IEEE Robotics Autom. Lett., May, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023
2022
Towards learning trustworthily, automatically, and with guarantees on graphs: An overview.
Neurocomputing, 2022
A comparison of declarative AI techniques for computer automated design of elevator systems.
Intelligenza Artificiale, 2022
Proceedings of the 36th ECMS International Conference on Modelling and Simulation, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021
Proceedings of the Italian Conference on Cybersecurity, 2021
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis.
Proceedings of the 35th International ECMS International Conference on Modelling and Simulation, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021
2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions.
Proceedings of the 34th International ECMS Conference on Modelling and Simulation, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Innov. Syst. Softw. Eng., 2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Inf. Syst. Frontiers, 2019
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation.
Cogn. Syst. Res., 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures.
Proceedings of the 11th International Conference on Cyber Conflict, 2019
Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
CoRR, 2018
Appl. Intell., 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the European Conference on Modelling and Simulation, 2018
2017
Robotics Auton. Syst., 2017
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).
Dagstuhl Reports, 2017
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the European Conference on Modelling and Simulation, 2017
2016
Fundam. Informaticae, 2016
Evaluating probabilistic model checking tools for verification of robot control policies.
AI Commun., 2016
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics.
Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016
Proceedings of the 30th European Conference on Modelling and Simulation, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
Proceedings of the 2nd Italian Workshop on Artificial Intelligence and Robotics A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015
2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014
Proceedings of the 12th International Conference on Grammatical Inference, 2014
Proceedings of the Intelligent Autonomous Systems 13, 2014
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper.
Proceedings of the 5th International Conference on Ambient Systems, 2014
2013
Inf. Syst. Frontiers, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013
2012
2011
Ann. Math. Artif. Intell., 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
2010
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.
Fundam. Informaticae, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Trends in Applied Intelligent Systems, 2010
Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study.
Proceedings of the Trends in Applied Intelligent Systems, 2010
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Handbook of Satisfiability, 2009
Constraints An Int. J., 2009
AI Commun., 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Next-Generation Applied Intelligence, 2009
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009
2008
Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.
Proceedings of the Logic for Programming, 2008
2007
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
J. Artif. Intell. Res., 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Artif. Intell., 2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Electron. Notes Discret. Math., 2001
Ann. Math. Artif. Intell., 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001
2000
SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
J. Appl. Non Class. Logics, 2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
System Description: *SAT: A Platform for the Development of Modal Decision Procedures.
Proceedings of the Automated Deduction, 2000
1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999
1998
More Evaluation of Decision Procedures for Modal Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998