IRIS
TACCHELLA, ARMANDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.508
Totale 10.508
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 10.508
Totale 10.508
Salva come PNG Salva come JPEG
Città #
Genova 8.022
Rapallo 1.204
Genoa 1.057
Vado Ligure 206
Bordighera 19
Totale 10.508
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 165
Watched Data Structures for QBF Solvers 163
Benefits of bounded model checking at an industrial setting 160
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 159
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 151
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 150
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 149
QuBE++: An efficient QBF solver 146
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 138
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 136
Engineering approaches and methods to verify software in autonomous systems 135
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 134
Backjumping for Quantified Boolean Logic satisfiability 133
Dependent and Independent Variables in Propositional Satisfiability 133
From Natural Language Definitions to Knowledge Bases Axioms 132
The Second QBF Solvers Comparative Evaluation 130
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 128
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 127
Quantifier Structure in search based procedures for QBFs 126
Automatic Test-Pattern Generation for Grey-Box Programs 126
A Multi-engine Solver for Quantified Boolean Formulas 124
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 124
Verification and repair of control policies for safe reinforcement learning 123
Hard QBF Encodings made easy: Dream or Reality? 123
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 122
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 122
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems 121
QBF Reasoning on Real-World Instances 121
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 120
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 120
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 119
Reverse Engineering of Middleware for Verification of Robot Control Architectures 119
Ranking and Reputation Systems in the QBF Competition 118
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems 117
Ontology-based data access: An application to intermodal logistics 116
Testing a learn-verify-repair approach for safe human-robot interaction 114
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 114
OBDA and Intermodal Logistics: Active Projects and Applications 113
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 112
Towards an Efficient Library for SAT: a Manifesto 112
A Self-adaptive Multi-engine solver for quantified Boolean formulas 112
Repairing Learned Controllers with Convex Optimization: A Case Study 112
Evaluating search heuristics and optimization techniques in propositional satisfiability 111
Learning for verification in embedded systems: A case study 111
Evaluating probabilistic model checking tools for verification of robot control policies 111
Safe Learning with Real-Time Constraints: A Case Study 111
Backjumping for Quantified Boolean Logic Satisfiability 110
Consistency of property specification patterns with boolean and constrained numerical signals 108
The QBFEVAL Web Portal 106
Improving Reliability of Myocontrol Using Formal Verification 106
Safe and Effective Learning: a Case Study 106
Monotone Literals and Learning in QBF Reasoning 104
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 104
Poster: Automatic Consistency Checking of Requirements with ReqV 104
Combining static and runtime methods to achieve safe standing-up for humanoid robots 103
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 102
SMT-based Planning for Robots in Smart Factories 102
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 101
Learning middleware models for verification of distributed control programs 101
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems 100
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing. 97
Collaborative Expert Portfolio Management 96
Ontologies in system engineering: A field report 95
NeVer: a tool for artificial neural networks verification 95
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 94
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems 93
Getting to the airport: The oldest planning problem in AI 92
A greedy approach for the efficient repair of stochastic models 91
Constrained image generation using binarized neural networks with decision procedures 89
Quantifier Structure in search based procedures for QBFs 88
More adaptive does not imply less safe (with formal verification) 86
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories 86
Automata based test generation with SpecPro 85
Challenging SMT solvers to verify neural networks 84
Learning in physical domains: Mating safety requirements and costly sampling 81
A Structural Approach to Reasoning with Quantified Boolean Formulas 80
SAT-Based Decision Procedures for Classical Modal Logics 79
Introducing computer engineering curriculum to upper secondary students: An evaluation of experiences based on educational robotics 78
Optimal Planning as Constraint Optimization 78
Report of the Third QBF Solvers Evaluation 75
Is verification a requisite for safe adaptive robots? 75
Learning for Quantified Boolean Logic Satisfiability 74
Conditional behavior trees: Definition, executability, and applications 74
Task planning with OMT: An application to production logistics 70
Learning Nondeterministic Mealy Machines 69
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 69
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 69
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 68
An empirical perspective on ten years of QBF solving 67
Property specification patterns at work: verification and inconsistency explanation 67
AQME’10 System Description. 65
null 65
Automating functional genomics data analysis: a use case with an interdisciplinary approach 64
SAT Techniques for Modal and Description Logics 61
Resilience of Cyber-Physical Systems: An Experimental Appraisal of Quantitative Measures 61
Un sistema peer-to-peer per la ricerca e la condivisione di Learning Object 54
null 53
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation 51
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 50
A comparison of declarative AI techniques for computer automated design of elevator systems 45
Totale 10.333
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.578
article - articoli 8.016
book - libri 0
conference - conferenze 23.277
curatela - curatele 176
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.109
Totale 65.156
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.824 0 0 105 172 227 308 475 228 296 520 391 102
2020/20211.111 110 97 105 92 45 82 71 128 81 122 97 81
2021/20221.466 48 106 151 160 41 76 113 304 90 126 79 172
2022/20231.472 134 93 20 156 224 229 38 99 243 4 183 49
2023/2024812 60 122 26 120 45 111 53 26 34 59 63 93
2024/2025228 55 157 16 0 0 0 0 0 0 0 0 0
Totale 10.695