Armando Tacchella

Identifiers

• name variant Armando Tacchella 0.60 · backfill

Papers (7)

1. SMarTplan: a Task Planner for Smart Factories cs.AI · 2018 · author #5
2. Automated Verification of Neural Networks: Advances, Challenges and Perspectives cs.AI · 2018 · author #4
3. Constrained Image Generation Using Binarized Neural Networks with Decision Procedures cs.CV · 2018 · author #4
4. Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals cs.LO · 2017 · author #3
5. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories cs.AI · 2017 · author #5
6. Ontologies in System Engineering: a Field Report cs.AI · 2017 · author #2
7. Reverse Engineering of Middleware for Verification of Robot Control Architectures cs.RO · 2014 · author #3

Mentions

• 1411.1907 #3 · backfill · confidence 0.70 Armando Tacchella

Frequent Coauthors

• Luca Pulina 4 shared papers
• Francesco Leofante 3 shared papers
• Nina Narodytska 2 shared papers
• Ali Khalili 1 shared papers
• Arthur Bit-Monnot 1 shared papers
• Erika \'Abrah\'am 1 shared papers
• Erika Abraham 1 shared papers
• Gerhard Lakemeyer 1 shared papers
• Lorenzo Natale 1 shared papers
• Marco Menapace 1 shared papers
• Massimo Narizzano 1 shared papers
• Mooly Sagiv 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Simone Vuotto 1 shared papers
• Svyatoslav Korneev 1 shared papers
• Tim Niemueller 1 shared papers