From the 1 of 9 linked papers with an AI index.
9 papers
A Model for Mediating Multi-Modal Human Intent into Safe Maneuvers for UAVs
Sofia Nelson, Dalal Alrajeh, Pedro Antonio Alarcon Granadeno +1
The paper proposes a model that translates multimodal human inputs (speech, gestures, GUI) into safe UAV maneuvers by treating them as bounded requests and validating them against…
How Analysts Use AI in High-Stakes Crime Linkage: An Industrial Study
Jessica Woodhams, Amy Burrell, Wanyin Li +9
Crime linkage analysis is used in many countries to identify series of offences that may have been committed by the same individual. In practice, specialist analysts manually searc…
Length Generalization with Log-Depth Recurrent Units
Charles Pert, Dalal Alrajeh, Alessandra Russo
Length generalization remains a persistent challenge for neural networks: recurrent models tend to suffer from positional biases, while transformers are constrained by fixed comput…
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…
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…
Data-Dependent Goal Modeling for ML-Enabled Law Enforcement Systems
Dalal Alrajeh, Vesna Nowack, Patrick Benjamin +15
Investigating serious crimes is inherently complex and resource-constrained. Law enforcement agencies (LEAs) grapple with overwhelming volumes of offender and incident data, making…