1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
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…