4 citations · 7 across the 14 of their papers we have counts for
5 papers · 1 filter
Learning to adapt GR(1) specifications through degradation
Tiberiu-Andrei Georgescu, Dalal Alrajeh, Sebastian Uchitel
Reactive synthesis is a powerful tool for generating correct-by-construction controllers from formal specifications. GR(1) is an assume-guarantee specification framework that enabl…
A Model for Mediating Multi-Modal Human Intent into Safe Maneuvers for UAVs
Sofia Nelson, Dalal Alrajeh, Pedro Antonio Alarcon Granadeno +1
Direct human interaction with autonomous UAV systems can be enabled through modalities such as speech, gestures, and graphical interfaces. However, interpreting such inputs as dire…
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…
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…