-
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of int...
read it
-
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm...
read it
-
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
read it
-
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
In manufacturing, the increasing involvement of autonomous robots in pro...
read it

Francesco Leofante
is this you? claim profile