-
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of int...
03/17/2020 ∙ by Dario Guidotti, et al. ∙
0
∙
share
read it
-
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm...
06/19/2018 ∙ by Arthur Bit-Monnot, et al. ∙
0
∙
share
read it
-
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
05/25/2018 ∙ by Francesco Leofante, et al. ∙
0
∙
share
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...
11/12/2017 ∙ by Francesco Leofante, et al. ∙
0
∙
share
read it
Francesco Leofante
is this you? claim profile
0
followers
RWTH Aachen University
∙
Imperial College London
