4 citations · 7 across the 14 of their papers we have counts for
4 papers · 1 filter
Enhancing Binary Encoded Crime Linkage Analysis Using Siamese Network
Yicheng Zhan, Fahim Ahmed, Amy Burrell +4
Effective crime linkage analysis is crucial for identifying serial offenders and enhancing public safety. To address limitations of traditional crime linkage methods in handling hi…
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh +2
Shielding is widely used to enforce safety in reinforcement learning (RL), ensuring that an agent's actions remain compliant with formal specifications. Classical shielding approac…
RNN Generalization to Omega-Regular Languages
Charles Pert, Dalal Alrajeh, Alessandra Russo
Büchi automata (BAs) recognize -regular languages defined by formal specifications like linear temporal logic (LTL) and are commonly used in the verification of reactive systems…
Towards User-Centred Design of AI-Assisted Decision-Making in Law Enforcement
Vesna Nowack, Dalal Alrajeh, Carolina Gutierrez Muñoz +7
Artificial Intelligence (AI) has become an important part of our everyday lives, yet user requirements for designing AI-assisted systems in law enforcement remain unclear. To addre…