default search action

combined dblp search
author search
venue search
publication search

ask others

Armando Tacchella

> Home > Persons

Person information

affiliation: University of Genova, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/soco/DemarchiGPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/DemarchiGPT24
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella:
NeVer2: learning and verification of neural networks. Soft Comput. 28(19): 11647-11665 (2024)
2023
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ral/GhiorziCPBTN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/GhiorziCPBTN23
Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale:
Learning Linear Temporal Properties for Autonomous Robotic Systems. IEEE Robotics Autom. Lett. 8(5): 2930-2937 (2023)
2022
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/CicalaDMAT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/CicalaDMAT22
Giuseppe Cicala, Stefano Demarchi, Marco Menapace, Leopoldo Annunziata, Armando Tacchella:
A comparison of declarative AI techniques for computer automated design of elevator systems. Intelligenza Artificiale 16(1): 131-150 (2022)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ijon/OnetoNBEMSBDBTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijon/OnetoNBEMSBDBTS22
Luca Oneto, Nicolò Navarin, Battista Biggio, Federico Errica, Alessio Micheli, Franco Scarselli, Monica Bianchini, Luca Demetrio, Pietro Bongini, Armando Tacchella, Alessandro Sperduti:
Towards learning trustworthily, automatically, and with guarantees on graphs: An overview. Neurocomputing 493: 217-243 (2022)
2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/cogsr/AlyPAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cogsr/AlyPAT19
Amir Aly, Shashank Pathak, Sean Andrist, Armando Tacchella:
Social cognitive systems in smart environments: Approaches for learning, reasoning, and adaptation. Cogn. Syst. Res. 58: 230-233 (2019)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/LeofanteANLT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/LeofanteANLT19
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella:
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers 21(1): 87-107 (2019)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/NarizzanoPTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/NarizzanoPTV19
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15(3-4): 307-323 (2019)
2018
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/PathakPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/PathakPT18
Shashank Pathak, Luca Pulina, Armando Tacchella:
Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4): 886-908 (2018)
2017
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/KhaliliNNT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/KhaliliNNT17
Ali Khalili, Massimo Narizzano, Lorenzo Natale, Armando Tacchella:
Learning middleware models for verification of distributed control programs. Robotics Auton. Syst. 92: 139-151 (2017)
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/PathakPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/PathakPT16
Shashank Pathak, Luca Pulina, Armando Tacchella:
Evaluating probabilistic model checking tools for verification of robot control policies. AI Commun. 29(2): 287-299 (2016)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MarinNPTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MarinNPTG16
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149(1-2): 133-158 (2016)
2013
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/CasuCT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/CasuCT13
Matteo Casu, Giuseppe Cicala, Armando Tacchella:
Ontology-based data access: An application to intermodal logistics. Inf. Syst. Frontiers 15(5): 849-871 (2013)
2012
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/PulinaT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/PulinaT12
Luca Pulina, Armando Tacchella:
Challenging SMT solvers to verify neural networks. AI Commun. 25(2): 117-135 (2012)
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PulinaT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PulinaT11
Luca Pulina, Armando Tacchella:
NeVer: a tool for artificial neural networks verification. Ann. Math. Artif. Intell. 62(3-4): 403-425 (2011)
2010
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PulinaT10
Luca Pulina, Armando Tacchella:
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing. Fundam. Informaticae 102(3-4): 391-427 (2010)
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/PulinaT10
Luca Pulina, Armando Tacchella:
AQME'10. J. Satisf. Boolean Model. Comput. 7(2-3): 65-70 (2010)
2009
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/NarizzanoPPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/NarizzanoPPT09
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella:
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22(4): 191-210 (2009)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/PulinaT09
Luca Pulina, Armando Tacchella:
A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints An Int. J. 14(1): 80-116 (2009)
2008
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/SpeckenmeyerTML08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/SpeckenmeyerTML08
Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li:
Guest Editors Conclusion. J. Satisf. Boolean Model. Comput. 4(2-4) (2008)
2007
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/GiunchigliaNT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/GiunchigliaNT07
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(3): 497-507 (2007)
2006
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GiunchigliaNT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/NarizzanoPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Report of the Third QBF Solvers Evaluation. J. Satisf. Boolean Model. Comput. 2(1-4): 145-164 (2006)
2003
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiunchigliaNT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiunchigliaNT03
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CastelliniGT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CastelliniGT03
Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003)
2002
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaTG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaTG02
Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. 28(2): 143-171 (2002)
2001
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiunchigliaT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiunchigliaT01
Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. 33(1): 39-67 (2001)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/endm/GiunchigliaNTV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/endm/GiunchigliaNTV01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9: 290-310 (2001)
2000
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GiunchigliaGST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GiunchigliaGST00
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. J. Appl. Non Class. Logics 10(2): 145-172 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ecms/DemarchiGT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/DemarchiGT24
Stefano Demarchi, Andrea Gimelli, Armando Tacchella:
Improving Abstract Propagation For Verification Of Neural Networks. ECMS 2024: 483-489
2023
[c100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DemarchiGPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DemarchiGPT23
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella:
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV 2023: 47-58
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ecms/NarizzanoT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/NarizzanoT23
Massimo Narizzano, Armando Tacchella:
Verification Of Data-Intensive Embedded Systems. ECMS 2023: 521-527
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiunchigliaT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiunchigliaT23
Enrico Giunchiglia, Armando Tacchella:
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA 2023: 621-637
2022
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ecms/DemarchiGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/DemarchiGPT22
Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella:
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS 2022: 310-316
2021
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/DemarchiMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/DemarchiMT21
Stefano Demarchi, Marco Menapace, Armando Tacchella:
Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. AI*IA 2021: 77-90
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GuidottiPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GuidottiPT21
Dario Guidotti, Luca Pulina, Armando Tacchella:
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA 2021: 357-363
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ecms/GuidottiCGT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/GuidottiCGT21
Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella:
Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. ECMS 2021: 260-266
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/ColledanchiseCD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/ColledanchiseCD21
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella:
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. IROS 2021: 9841-9848
[c92]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/MurinoRRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/MurinoRRT21
Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella:
OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC 2021: 9-22
[c91]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06758
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella:
Robot Swarms as Hybrid Systems: Modelling and Verification. SNR 2021: 61-77
2020
[c90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/GuidottiLPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GuidottiLPT20
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI 2020: 2505-2512
[c89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/TacchellaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/TacchellaT20
Alberto Tacchella, Armando Tacchella:
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions. ECMS 2020: 345-353
[c88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LeofanteGAT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LeofanteGAT20
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV20
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM 2020: 153-169
2019
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GuidottiLPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GuidottiLPT19
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA 2019: 405-417
[c85]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aips/Bit-MonnotPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/Bit-MonnotPT19
Arthur Bit-Monnot, Luca Pulina, Armando Tacchella:
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. ICAPS 2019: 49-57
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/GuidottiLCT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/GuidottiLCT19
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella:
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR 2019: 364-373
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cpsschool/DemarchiTM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsschool/DemarchiTM19
Stefano Demarchi, Armando Tacchella, Marco Menapace:
Automated Design of Complex Systems with Constraint Programming Techniques. CPS Summer School, PhD Workshop 2019: 51-59
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cycon/MurinoAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cycon/MurinoAT19
Giuseppina Murino, Alessandro Armando, Armando Tacchella:
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon 2019: 1-19
[c81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/LeofanteSAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/LeofanteSAT19
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella:
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. ECMS 2019: 407-413
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Automata based test generation with SpecPro. RET@ICSE 2019: 13-16
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST 2019: 363-366
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/DemarchiMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/DemarchiMT19
Stefano Demarchi, Marco Menapace, Armando Tacchella:
Automating Elevator Design with Satisfiability Modulo Theories. ICTAI 2019: 26-33
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/Bit-MonnotLPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella:
SMT-based Planning for Robots in Smart Factories. IEA/AIE 2019: 674-686
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/GiunchigliaCNT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/GiunchigliaCNT19
Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella:
Conditional Behavior Trees: Definition, Executability, and Applications. SMC 2019: 1899-1906
2018
[c75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/MurinoT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/MurinoT18
Giuseppina Murino, Armando Tacchella:
Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems. ECMS 2018: 433-439
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/LeofanteAT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LeofanteAT18
Francesco Leofante, Erika Ábrahám, Armando Tacchella:
Task Planning with OMT: An Application to Production Logistics. IFM 2018: 316-325
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV18
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM 2018: 383-398
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KorneevNPTBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KorneevNPTBS18
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. SAT 2018: 438-449
2017
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/AnnunziataMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/AnnunziataMT17
Leopoldo Annunziata, Marco Menapace, Armando Tacchella:
Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems. ECMS 2017: 543-549
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/PulinaT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/PulinaT17
Luca Pulina, Armando Tacchella:
More Adaptive Does not Imply Less Safe (with Formal Verification). Haifa Verification Conference 2017: 237-240
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/MenapaceT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/MenapaceT17
Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: A Field Report. IEA/AIE (1) 2017: 502-506
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/LeofanteANLT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/LeofanteANLT17
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella:
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI 2017: 403-410
2016
[c67]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/ArnaldiBFLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/ArnaldiBFLT16
Nicolò Arnaldi, Chiara Barone, Franco Fusco, Francesco Leofante, Armando Tacchella:
Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics. AIRO@AI*IA 2016: 5-9
[c66]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/LeofantePT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LeofantePT16
Francesco Leofante, Luca Pulina, Armando Tacchella:
Learning with Safety Requirements: State of the Art and Open Questions. RCRA@AI*IA 2016: 11-25
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/KhaliliNT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/KhaliliNT16
Ali Khalili, Massimo Narizzano, Armando Tacchella:
Learning for Verification in Embedded Systems: A Case Study. AI*IA 2016: 525-538
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/LeofanteT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LeofanteT16
Francesco Leofante, Armando Tacchella:
Learning in Physical Domains: Mating Safety Requirements and Costly Sampling. AI*IA 2016: 539-552
[c63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/CicalaLOT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/CicalaLOT16
Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella:
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. ECMS 2016: 628-634
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/OreggiaCPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/OreggiaCPT16
Marco Oreggia, Carlo Chiorri, Francesca Pozzi, Armando Tacchella:
Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics. ICALT 2016: 293-294
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LeofanteVAT016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LeofanteVAT016
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen:
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) 2016: 496-514
2015
[c60]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/MarinNPTG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinNPTG15
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/PathakPT15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15a
Shashank Pathak, Luca Pulina, Armando Tacchella:
A Case for Robust AI in Robotics. AIRO@AI*IA 2015: 94-103
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PathakPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PathakPT15
Shashank Pathak, Luca Pulina, Armando Tacchella:
Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. AI*IA 2015: 260-273
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/BeuxBCDFFGMOPST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KhaliliNTG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KhaliliNTG15
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PathakAJTK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PathakAJTK15
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309
2014
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/AnconaCDDDFGGCRSTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/AnconaCDDDFGGCRSTZ14
Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, Guido Zolezzi:
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 2014: 941-946
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ias/CicalaKMNPPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ias/CicalaKMNPPT14
Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Engineering Approaches and Methods to Verify Software in Autonomous Systems. IAS 2014: 1683-1700
[c52]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/icgi/KhaliliT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgi/KhaliliT14
Ali Khalili, Armando Tacchella:
Learning Nondeterministic Mealy Machines. ICGI 2014: 109-123
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/simpar/KhaliliNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpar/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. SIMPAR 2014: 315-326
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/PathakMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/PathakMT14
Shashank Pathak, Giorgio Metta, Armando Tacchella:
Is verification a requisite for safe adaptive robots? SMC 2014: 3399-3402
2013
[c49]
- view
  - electronic edition @ aaai.org
  - details & citations
- export record
  dblp key:
  - conf/aaaifs/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/PathakPMT13
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
How to Abstract Intelligence? (If Verification Is in Order). AAAI Fall Symposia 2013
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/CicalaOT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CicalaOT13
Giuseppe Cicala, Marco Oreggia, Armando Tacchella:
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems. AI*IA 2013: 25-36
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/PathakPMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/PathakPMT13
Shashank Pathak, Luca Pulina, Giorgio Metta, Armando Tacchella:
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. IROS 2013: 170-175
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/BourguetCPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/BourguetCPT13
Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, Armando Tacchella:
OBDA and Intermodal Logistics: Active Projects and Applications. RR 2013: 210-215
2011
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PulinaT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT11
Luca Pulina, Armando Tacchella:
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation. AI*IA 2011: 127-138
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/CasuT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CasuT11
Matteo Casu, Armando Tacchella:
From Natural Language Definitions to Knowledge Bases Axioms. AI*IA 2011: 445-450
2010
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SternSHGPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SternSHGPT10
David H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella:
Collaborative Expert Portfolio Management. AAAI 2010: 179-184
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/PeschieraPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PeschieraPT10
Claudia Peschiera, Luca Pulina, Armando Tacchella:
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR 2010: 19-32
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PulinaT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PulinaT10
Luca Pulina, Armando Tacchella:
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. CAV 2010: 243-257
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe and effective learning: A case study. ICRA 2010: 4809-4814
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/BalbiPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/BalbiPT10
Anahì Balbi, Michael Provost, Armando Tacchella:
Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study. IEA/AIE (1) 2010: 123-132
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/MettaNPPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/MettaNPPT10
Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella:
Safe Learning with Real-Time Constraints: A Case Study. IEA/AIE (1) 2010: 133-142
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeschieraPTBKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeschieraPTBKL10
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce:
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT 2010: 237-250
2009
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09
Luca Pulina, Armando Tacchella:
Hard QBF Encodings Made Easy: Dream or Reality? AI*IA 2009: 31-41
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/PulinaT09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09a
Luca Pulina, Armando Tacchella:
A structural approach to reasoning with quantified Boolean formulas. RCRA@AI*IA 2009
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/PulinaT09
Luca Pulina, Armando Tacchella:
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas. FroCoS 2009: 350-365
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ieaaie/AmbrosiGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieaaie/AmbrosiGT09
Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella:
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles. IEA/AIE 2009: 449-458
[c32]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/PulinaT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PulinaT09
Luca Pulina, Armando Tacchella:
A Structural Approach to Reasoning with Quantified Boolean Formulas. IJCAI 2009: 596-602
2008
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/PulinaT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/PulinaT08
Luca Pulina, Armando Tacchella:
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. LPAR 2008: 528-542
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/PulinaT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/PulinaT08
Luca Pulina, Armando Tacchella:
QuBIS: An (In)complete Solver for Quantified Boolean Formulas. MICAI 2008: 34-43
2007
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/NarizzanoPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/NarizzanoPT07
Massimo Narizzano, Luca Pulina, Armando Tacchella:
Ranking and Reputation Systems in the QBF Competition. AI*IA 2007: 97-108
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PulinaT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PulinaT07
Luca Pulina, Armando Tacchella:
A Multi-engine Solver for Quantified Boolean Formulas. CP 2007: 574-589
2006
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/date/GiunchigliaNT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GiunchigliaNT06
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/NarizzanoPT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/NarizzanoPT06
Massimo Narizzano, Luca Pulina, Armando Tacchella:
The QBFEVAL Web Portal. JELIA 2006: 494-497
2005
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ArmandoCGGT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ArmandoCGGT05
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58
2004
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GiunchigliaNT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GiunchigliaNT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BerreNST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BerreNST04
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella:
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
[c21]
- view
  - electronic edition @ satisfiability.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT 2004
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GiunchigliaNT04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaNT04a
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
2003
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GiunchigliaMT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GiunchigliaMT03
Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GentGNRT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GentGNRT03
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BerreST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BerreST03
Daniel Le Berre, Laurent Simon, Armando Tacchella:
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
2002
[c16]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/GiunchigliaNT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiunchigliaNT02
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CimattiCGGPRST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CimattiCGGPRST02
Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/CimattiGPRST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/CimattiGPRST02
Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS 2002: 49-56
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiunchigliaMT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiunchigliaMT02
Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307
2001
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiunchigliaNT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiunchigliaMTZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaMTZ01
Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiunchigliaNT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CoptyFFGKTV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoptyFFGKTV01
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ijcai/GiunchigliaNT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiunchigliaNT01
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281
2000
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiunchigliaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaT00
Enrico Giunchiglia, Armando Tacchella:
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE 2000: 291-296
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Tacchella00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Tacchella00
Armando Tacchella:
Evaluating ^*SAT on TANCS 2000 Benchmarks. TABLEAUX 2000: 77-81
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GiunchigliaT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GiunchigliaT00
Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251
1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiunchigliaGT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiunchigliaGT99
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/GiunchigliaGT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiunchigliaGT99
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/Tacchella99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Tacchella99
Armando Tacchella:
*SAT System Description. Description Logics 1999
1998
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/GiunchigliaGST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiunchigliaGST98
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2021
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/faia/SebastianiT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SebastianiT21
Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2021: 1223-1266
2009
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/faia/SebastianiT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SebastianiT09
Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. Handbook of Satisfiability 2009: 781-824

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e2]
- view
- export record
  dblp key:
  - conf/cpsschool/2022phd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsschool/2022phd
Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella:
Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022. CEUR Workshop Proceedings 3252, CEUR-WS.org 2022 [contents]
2004
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2003
Enrico Giunchiglia, Armando Tacchella:
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919, Springer 2004, ISBN 3-540-20851-8 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-00090
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-00090
Enrico Ghiorzi, Armando Tacchella:
Execution Semantics of Behavior Trees in Robotic Applications. CoRR abs/2408.00090 (2024)
2021
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-12474
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-12474
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella:
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. CoRR abs/2106.12474 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-15211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-15211
Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella:
A Toolchain to Design, Execute, and Monitor Robots Behaviors. CoRR abs/2106.15211 (2021)
2020
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-07636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-07636
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella:
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR abs/2003.07636 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06750
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR abs/2005.06750 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09933
Dario Guidotti, Luca Pulina, Armando Tacchella:
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR abs/2011.09933 (2020)
2018
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08795
Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj S. Bjørner, Mooly Sagiv:
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. CoRR abs/1802.08795 (2018)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-09938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-09938
Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella:
Automated Verification of Neural Networks: Advances, Challenges and Perspectives. CoRR abs/1805.09938 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07135
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07135
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Erika Ábrahám, Armando Tacchella:
SMarTplan: a Task Planner for Smart Factories. CoRR abs/1806.07135 (2018)
2017
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MenapaceT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MenapaceT17
Marco Menapace, Armando Tacchella:
Ontologies in System Engineering: a Field Report. CoRR abs/1702.07193 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-04259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-04259
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella:
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR abs/1711.04259 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-04162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-04162
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR abs/1712.04162 (2017)
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AbrahamKNT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17
Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella:
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7(2): 48-63 (2017)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KhaliliNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KhaliliNT14
Ali Khalili, Lorenzo Natale, Armando Tacchella:
Reverse Engineering of Middleware for Verification of Robot Control Architectures. CoRR abs/1411.1907 (2014)
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1111-0860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0860
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.