Mehdi Dastani

Quantified degrees of group responsibility: extended abstract

2015 · ePrints Soton (University of Southampton)

This paper builds on an existing notion of group responsibility and proposes two ways to define the degree of group responsibility: structural and functional degrees of responsibility. These notions measure the potential responsibilities of (agent) …

Aplib: Tactical Agents for Testing Computer Games

2020 · Zenodo (CERN European Organization for Nuclear Research)

Modern interactive software, such as computer games, employ complex user interfaces. Although these user interfaces make the games attractive and powerful, unfortunately they also make them extremely difficult to test. Not only do we have …

Probabilistic Temporal Logic for Reasoning about Bounded Policies

2023

To build a theory of intention revision for agents operating in stochastic environments, we need a logic in which we can explicitly reason about their decision-making policies and those policies' uncertain outcomes. Towards this end, …