Armando Tacchella

According to our database1, Armando Tacchella authored at least 99 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Information Systems Frontiers, 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Repairing Learned Controllers with Convex Optimization: A Case Study.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018
Verification and repair of control policies for safe reinforcement learning.
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

Task Planning with OMT: An Application to Production Logistics.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems.
Proceedings of the European Conference on Modelling and Simulation, 2018

2017
Learning middleware models for verification of distributed control programs.
Robotics and Autonomous Systems, 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

Ontologies in System Engineering: A Field Report.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

More Adaptive Does not Imply Less Safe (with Formal Verification).
Proceedings of the Hardware and Software: Verification and Testing, 2017

Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems.
Proceedings of the European Conference on Modelling and Simulation, 2017

2016
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.
Fundam. Inform., 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

A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.
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

Learning with Safety Requirements: State of the Art and Open Questions.
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

Learning for Verification in Embedded Systems: A Case Study.
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

Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics.
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016

2015
A Greedy Approach for the Efficient Repair of Stochastic Models.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Automatic Test-Pattern Generation for Grey-Box Programs.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Computational thinking for beginners: A successful experience using Prolog.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

A Case for Robust AI in Robotics.
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

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

An Empirical Perspective on Ten Years of QBF Solving.
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
Is verification a requisite for safe adaptive robots?
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Reverse Engineering of Middleware for Verification of Robot Control Architectures.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Learning Nondeterministic Mealy Machines.
Proceedings of the 12th International Conference on Grammatical Inference, 2014

Engineering Approaches and Methods to Verify Software in Autonomous Systems.
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
Ontology-based data access: An application to intermodal logistics.
Information Systems Frontiers, 2013

OBDA and Intermodal Logistics: Active Projects and Applications.
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

Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

How to Abstract Intelligence? (If Verification Is in Order).
Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012
Challenging SMT solvers to verify neural networks.
AI Commun., 2012

2011
NeVer: a tool for artificial neural networks verification.
Ann. Math. Artif. Intell., 2011

Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

From Natural Language Definitions to Knowledge Bases Axioms.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
AQME'10.
JSAT, 2010

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.
Fundam. Inform., 2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).
Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Safe Learning with Real-Time Constraints: A Case Study.
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

Safe and effective learning: A case study.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Designing a solver competition: the QBFEVAL'10 case study.
Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Collaborative Expert Portfolio Management.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
SAT Techniques for Modal and Description Logics.
Proceedings of the Handbook of Satisfiability, 2009

A self-adaptive multi-engine solver for quantified Boolean formulas.
Constraints, 2009

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.
AI Commun., 2009

A Structural Approach to Reasoning with Quantified Boolean Formulas.
Proceedings of the IJCAI 2009, 2009

An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles.
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

A structural approach to reasoning with quantified Boolean formulas.
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

Hard QBF Encodings Made Easy: Dream or Reality?
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008
Guest Editors Conclusion.
JSAT, 2008

QuBIS: An (In)complete Solver for Quantified Boolean Formulas.
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
A Multi-engine Solver for Quantified Boolean Formulas.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Ranking and Reputation Systems in the QBF Competition.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006
Report of the Third QBF Solvers Evaluation.
JSAT, 2006

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
J. Artif. Intell. Res., 2006

The QBFEVAL Web Portal.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Quantifier structure in search based procedures for QBFs.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
QBF Reasoning on Real-World Instances.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

QBF Reasoning on Real-World Instances.
Proceedings of the SAT 2004, 2004

The Second QBF Solvers Comparative Evaluation.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004

QuBE++: An Efficient QBF Solver.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Monotone Literals and Learning in QBF Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.
Artif. Intell., 2003

Watched Data Structures for QBF Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
SAT-Based Decision Procedures for Classical Modal Logics.
J. Autom. Reasoning, 2002

Dependent and Independent Variables in Propositional Satisfiability.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Integrating BDD-Based and SAT-Based Symbolic Model Checking.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Learning for Quantified Boolean Logic Satisfiability.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Towards an Efficient Library for SAT: a Manifesto.
Electronic Notes in Discrete Mathematics, 2001

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics.
Ann. Math. Artif. Intell., 2001

Backjumping for Quantified Boolean Logic Satisfiability.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Benefits of Bounded Model Checking at an Industrial Setting.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.
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.
Journal of Applied Non-Classical Logics, 2000

Evaluating *SAT on TANCS 2000 Benchmarks.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.
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
*SAT System Description.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

*SAT, KSATC, DLP and TA: a comparative analysis.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

The SAT-Based Approach for Classical Modal Logics.
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


  Loading...