106 citations · 183 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
Svyatoslav Korneev, Nina Narodytska, Luca Pulina +3
We consider the problem of binary image generation with given properties. This problem arises in a number of practical applications, including generation of artificial porous mediu…