Armando Tacchella - Publications, H-index & Citations

Armando Tacchella

university of genoa

29H指数

161论文数

4.3K被引数

收录论文 8

发表时间

Learning Linear Temporal Properties for Autonomous Robotic Systems

IEEE ROBOTICS AND AUTOMATION LETTERS

IF5.3

2023-05-01

OAAI

Ghiorzi, Enrico; Colledanchise, Michele; Piquet, Gianluca; Bernagozzi, Stefano; Tacchella, Armando; Natale, Lorenzo

Towards learning trustworthily, automatically, and with guarantees on graphs: An overview

NEUROCOMPUTING

IF6.5

2022-07-01

PREAI

Oneto, Luca; Navarin, Nicolo; Biggio, Battista; Errica, Federico; Micheli, Alessio; Scarselli, Franco; Bianchini, Monica; Demetrio, Luca; Bongini, Pietro; Tacchella, Armando; Sperduti, Alessandro

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018

IF0

2018-06-26

PREAI

Korneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 物流中多机器人系统最优计划的综合与执行

INFORMATION SYSTEMS FRONTIERS

IF8.3

2018-05-19

PREAI

Leofante, Francesco; Abraham, Erika; Niemueller, Tim; Lakemeyer, Gerhard; Tacchella, Armando

Verification and repair of control policies for safe reinforcement learning

APPLIED INTELLIGENCE

IF3.5

2017-08-05

PREAI

Pathak, Shashank; Pulina, Luca; Tacchella, Armando

Ontology-based data access: An application to intermodal logistics

INFORMATION SYSTEMS FRONTIERS

IF8.3

2012-12-29

PREAI

Casu, Matteo; Cicala, Giuseppe; Tacchella, Armando

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

artificial intelligence review

IF4.6

2003-07-01

PREAI

Castellini, C; Giunchiglia, E; Tacchella, A

Backjumping for Quantified Boolean Logic satisfiability

artificial intelligence review

IF4.6

2003-04-01

PREAI

Giunchiglia, E; Narizzano, M; Tacchella, A

研究方向