Luca Pulina

Luca Pulina

Università degli Studi di Sassari - Sassari / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1797000
University of Sassari
person_outline Luca Pulina's MOST POPULAR ARTICLES
1-) An abstraction-refinement approach to verification of artificial neural networksL Pulina, A TacchellaInternational Conference on Computer Aided Verification, 243-257, 20102792010
2-) Challenging SMT solvers to verify neural networksL Pulina, A TacchellaAi Communications 25 (2), 117-135, 20121242012
3-) A self-adaptive multi-engine solver for quantified Boolean formulasL Pulina, A TacchellaConstraints 14, 80-116, 20091242009
4-) Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ...IJCAI 9, 836-841, 20091032009
5-) Automated verification of neural networks: Advances, challenges and perspectivesF Leofante, N Narodytska, L Pulina, A TacchellaarXiv preprint arXiv:1805.09938, 2018982018