Rolando Fernandez

This work extends social laws from deterministic, goal-based settings to stochastic, reward-based multi-agent environments by introducing α-robustness, a measure of the fraction of guaranteed utility each agent retains while following its optimal single-agent policy under the assumption that all agents obey the social law, and by presenting a verification approach that reduces to solving a series of Markov decision processes; experiments on grid toy environments show that with action success probability 1, parallel lanes, opposite lanes, and switch corners with a clockwise social law reach α=1 robustness, while a slow-speed social law does not always improve guaranteed utility.

This work extends social laws from deterministic, goal-based settings to stochastic, reward-based multi-agent environments by introducing α-robustness, a measure of the fraction of guaranteed utility each agent retains while following its optimal single-agent policy under the assumption that all agents obey the social law, and by presenting a verification approach that reduces to solving a series of Markov decision processes; experiments on grid toy environments show that with action success probability 1, parallel lanes, opposite lanes, and switch corners with a clockwise social law reach α=1 robustness, while a slow-speed social law does not always improve guaranteed utility.