research
∙
08/31/2022
Formalising the Robustness of Counterfactual Explanations for Neural Networks
The use of counterfactual explanations (CFXs) is an increasingly popular...
share
research
∙
07/14/2022
Robot Swarms as Hybrid Systems: Modelling and Verification
A swarm robotic system consists of a team of robots performing cooperati...
research
∙
03/17/2020
Verification of Neural Networks: Enhancing Scalability through Pruning
Verification of deep neural networks has witnessed a recent surge of int...
research
∙
06/19/2018
SMarTplan: a Task Planner for Smart Factories
Smart factories are on the verge of becoming the new industrial paradigm...
research
∙
05/25/2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Neural networks are one of the most investigated and widely used techniq...
research
∙
11/12/2017