1 citations · 2 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2018
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
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…