51 citations · 94 across the 9 of their papers we have counts for
10 papers
The QBF Gallery 2023
Simone Heisinger, Luca Pulina, Martina Seidl
The QBF Gallery 2023, the last QBF evaluation event, continues the tradition to survey and document the state of the art in solving quantified Boolean formulas (QBFs). It provides…
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
Dario Guidotti, Luca Pulina, Armando Tacchella
In this work, we present an early prototype of NeVer 2.0, a new system for automated synthesis and analysis of deep neural networks.NeVer 2.0borrows its design philosophy from NeVe…
Automated Requirements-Based Testing of Black-Box Reactive Systems
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as seq…
Verification of Neural Networks: Enhancing Scalability through Pruning
Dario Guidotti, Francesco Leofante, Luca Pulina +1
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in env…
SMarTplan: a Task Planner for Smart Factories
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina +2
Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales. To fully pursu…
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Francesco Leofante, Nina Narodytska, Luca Pulina +1
Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and secur…