Picture for Simos Gerasimou

Simos Gerasimou

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding

Add code
May 28, 2024
Viaarxiv icon

DeepKnowledge: Generalisation-Driven Deep Learning Testing

Add code
Mar 25, 2024
Viaarxiv icon

Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction

Add code
Aug 18, 2023
Viaarxiv icon

Bayesian Learning for the Robust Verification of Autonomous Robots

Add code
Mar 15, 2023
Viaarxiv icon

Fast Parametric Model Checking through Model Fragmentation

Add code
Feb 02, 2021
Figure 1 for Fast Parametric Model Checking through Model Fragmentation
Figure 2 for Fast Parametric Model Checking through Model Fragmentation
Figure 3 for Fast Parametric Model Checking through Model Fragmentation
Figure 4 for Fast Parametric Model Checking through Model Fragmentation
Viaarxiv icon

Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

Add code
Aug 05, 2020
Viaarxiv icon

Genetic Improvement @ ICSE 2020

Add code
Jul 31, 2020
Figure 1 for Genetic Improvement @ ICSE 2020
Figure 2 for Genetic Improvement @ ICSE 2020
Viaarxiv icon

Importance-Driven Deep Learning System Testing

Add code
Feb 09, 2020
Figure 1 for Importance-Driven Deep Learning System Testing
Figure 2 for Importance-Driven Deep Learning System Testing
Figure 3 for Importance-Driven Deep Learning System Testing
Figure 4 for Importance-Driven Deep Learning System Testing
Viaarxiv icon

DeepFault: Fault Localization for Deep Neural Networks

Add code
Feb 15, 2019
Figure 1 for DeepFault: Fault Localization for Deep Neural Networks
Figure 2 for DeepFault: Fault Localization for Deep Neural Networks
Figure 3 for DeepFault: Fault Localization for Deep Neural Networks
Figure 4 for DeepFault: Fault Localization for Deep Neural Networks
Viaarxiv icon