Search Results for author:
Found 4 papers, 2 papers with code
Rational Verification for Probabilistic Systems
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing strategies that collectively form a game-theoretic equilibrium.
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice
Multi-agent influence diagrams (MAIDs) are a popular form of graphical model that, for certain classes of games, have been shown to offer key complexity and explainability advantages over traditional extensive form game (EFG) representations.
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour.
Learning Tractable Probabilistic Models for Moral Responsibility and Blame
From the viewpoint of such systems, the urgent questions are: (a) How can models of moral scenarios and blameworthiness be extracted and learnt automatically from data?
