3 citations · 14 across the 23 of their papers we have counts for
4 papers · 1 filter
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
Daniel Bethell, Simos Gerasimou, Radu Calinescu +1
Empowering safe exploration of reinforcement learning (RL) agents during training is a critical challenge towards their deployment in many real-world scenarios. When prior knowledg…
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
Ionut Predoaia, James Harbin, Simos Gerasimou +3
Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model…
DeepKnowledge: Generalisation-Driven Deep Learning Testing
Sondess Missaoui, Simos Gerasimou, Nikolaos Matragkas
Despite their unprecedented success, DNNs are notoriously fragile to small shifts in data distribution, demanding effective testing techniques that can assess their dependability.…
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
Probabilistic model checking is a widely used formal verification technique to automatically verify qualitative and quantitative properties for probabilistic models. However, captu…