Armando Tacchella

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

SMT-based Planning for Robots in Smart Factories.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Automating Elevator Design with Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Stefano Demarchi

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Automata based test generation with SpecPro.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures.

[BibT_eX]

[DOI]

Giuseppina Murino

Alessandro Armando

Proceedings of the 11th International Conference on Cyber Conflict, 2019

Automated Design of Complex Systems with Constraint Programming Techniques.

[BibT_eX]

[DOI]

Stefano Demarchi

Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held within the CPS Summer School "Designing Cyber-Physical Systems, 2019

Repairing Learned Controllers with Convex Optimization: A Case Study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Arthur Bit-Monnot

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.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

SMarTplan: a Task Planner for Smart Factories.

[BibT_eX]

[DOI]

CoRR, 2018

Automated Verification of Neural Networks: Advances, Challenges and Perspectives.

[BibT_eX]

[DOI]

CoRR, 2018

Verification and repair of control policies for safe reinforcement learning.

[BibT_eX]

[DOI]

Appl. Intell., 2018

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Task Planning with OMT: An Application to Production Logistics.

[BibT_eX]

[DOI]

Francesco Leofante

Erika Ábrahám

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems.

[BibT_eX]

[DOI]

Giuseppina Murino

Proceedings of the European Conference on Modelling and Simulation, 2018

2017

Learning middleware models for verification of distributed control programs.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2017

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Ontologies in System Engineering: A Field Report.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

More Adaptive Does not Imply Less Safe (with Formal Verification).

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems.

[BibT_eX]

[DOI]

Leopoldo Annunziata

Proceedings of the European Conference on Modelling and Simulation, 2017

2016

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Evaluating probabilistic model checking tools for verification of robot control policies.

[BibT_eX]

[DOI]

AI Commun., 2016

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016

A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Learning in Physical Domains: Mating Safety Requirements and Costly Sampling.

[BibT_eX]

[DOI]

Francesco Leofante

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.

[BibT_eX]

[DOI]

Francesco Leofante

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.

[BibT_eX]

[DOI]

Ali Khalili

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics, 2016

2015

A Greedy Approach for the Efficient Repair of Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Automatic Test-Pattern Generation for Grey-Box Programs.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Computational thinking for beginners: A successful experience using Prolog.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

A Case for Robust AI in Robotics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

An Empirical Perspective on Ten Years of QBF Solving.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Giorgio Metta

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Reverse Engineering of Middleware for Verification of Robot Control Architectures.

[BibT_eX]

[DOI]

Ali Khalili

Lorenzo Natale

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Learning Nondeterministic Mealy Machines.

[BibT_eX]

[DOI]

Ali Khalili

Proceedings of the 12th International Conference on Grammatical Inference, 2014

Engineering Approaches and Methods to Verify Software in Autonomous Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Philippe Gourbesville

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

Ontology-based data access: An application to intermodal logistics.

[BibT_eX]

[DOI]

Matteo Casu

Giuseppe Cicala

Inf. Syst. Frontiers, 2013

OBDA and Intermodal Logistics: Active Projects and Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giuseppe Cicala

Marco Oreggia

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

How to Abstract Intelligence? (If Verification Is in Order).

[BibT_eX]

[DOI]

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

Challenging SMT solvers to verify neural networks.

[BibT_eX]

[DOI]

AI Commun., 2012

2011

NeVer: a tool for artificial neural networks verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

From Natural Language Definitions to Knowledge Bases Axioms.

[BibT_eX]

[DOI]

Matteo Casu

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

AQME'10.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2010

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Safe Learning with Real-Time Constraints: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Trends in Applied Intelligent Systems, 2010

Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study.

[BibT_eX]

[DOI]

Anahì Balbi

Michael Provost

Proceedings of the Trends in Applied Intelligent Systems, 2010

Safe and effective learning: A case study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Designing a solver competition: the QBFEVAL'10 case study.

[BibT_eX]

[DOI]

Claudia Peschiera

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Collaborative Expert Portfolio Management.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

SAT Techniques for Modal and Description Logics.

[BibT_eX]

[DOI]

Roberto Sebastiani

Proceedings of the Handbook of Satisfiability, 2009

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2009

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.

[BibT_eX]

[DOI]

AI Commun., 2009

An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles.

[BibT_eX]

[DOI]

Cristina De Ambrosi

Cristiano Ghersi

Proceedings of the Next-Generation Applied Intelligence, 2009

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A structural approach to reasoning with quantified Boolean formulas.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Guest Editors Conclusion.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2008

QuBIS: An (In)complete Solver for Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008

Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

2007

Quantifier Structure in Search-Based Procedures for QBFs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

A Multi-engine Solver for Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Ranking and Reputation Systems in the QBF Competition.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Report of the Third QBF Solvers Evaluation.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2006

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

The QBFEVAL Web Portal.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

QBF Reasoning on Real-World Instances.

[BibT_eX]

[DOI]

Proceedings of the SAT 2004, 2004

The Second QBF Solvers Comparative Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

QuBE++: An Efficient QBF Solver.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Monotone Literals and Learning in QBF Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Backjumping for Quantified Boolean Logic satisfiability.

[BibT_eX]

[DOI]

Artif. Intell., 2003

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

[BibT_eX]

[DOI]

Claudio Castellini

Artif. Intell., 2003

Watched Data Structures for QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.

[BibT_eX]

[DOI]

Daniel Le Berre

Laurent Simon

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.

[BibT_eX]

[DOI]

Marco Maratea

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

SAT-Based Decision Procedures for Classical Modal Logics.

[BibT_eX]

[DOI]

Fausto Giunchiglia

J. Autom. Reason., 2002

Dependent and Independent Variables in Propositional Satisfiability.

[BibT_eX]

[DOI]

Marco Maratea

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Integrating BDD-Based and SAT-Based Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Learning for Quantified Boolean Logic Satisfiability.

[BibT_eX]

[DOI]