12 citations · 25 across the 11 of their papers we have counts for
11 papers
Responsible AI in criminal justice: LLMs in policing and risks to case progression
Muffy Calder, Marion Oswald, Elizabeth McClory-Tiarks +2
There is growing interest in the use of Large Language Models (LLMs) in policing, but there are potential risks. We have developed a practical approach to identifying risks, ground…
Mapping the Probabilistic AI Ecosystem in Criminal Justice in England and Wales
Evdoxia Taka, Temitope Lawal, Muffy Calder +4
Commercial or in-house developments of probabilistic AI systems are introduced in policing and the wider criminal justice (CJ) system worldwide, often on a force-by-force basis. We…
Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of…
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles
Oana Andrei, Muffy Calder, Matthew Chalmers +1
We present a study using new computational methods, based on a novel combination of machine learning for inferring admixture hidden Markov models and probabilistic model checking,…
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani +1
Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and abl…
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani +1
The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programm…
Probablistic Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to prob…
Making Sense of the World: Models for Reliable Sensor-Driven Systems
Muffy Calder, Simon Dobson, Michael Fisher +1
Sensor-driven systems are increasingly ubiquitous: they provide both data and information that can facilitate real-time decision-making and autonomous actuation, as well as enablin…
Probabilistic Formal Analysis of App Usage to Inform Redesign
Oana Andrei, Muffy Calder, Matthew Chalmers +2
This paper sets out a process of app analysis intended to support understanding of use but also redesign. From usage logs we infer activity patterns - Markov models - and employ pr…
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Oana Andrei, Muffy Calder, Matthew Higgs +1
Software developers cannot always anticipate how users will actually use their software as it may vary from user to user, and even from use to use for an individual user. In order…
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk
Robin Donaldson, Muffy Calder
Signalling pathways are abstractions that help life scientists structure the coordination of cellular activity. Cross-talk between pathways accounts for many of the complex behavio…