51 citations · 67 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 2 cited
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…
cs.AI2018★ 51 cited
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…