This paper studies the finite-time horizon Markov games where the agents...
In this work, we study the multi-agent decision problem where agents try...
This paper demonstrates that in some cases the safety override arising f...
Game theoretic approaches have gained traction as a robust methodology f...
In recent years, a significant research effort has been devoted to the d...
In this paper we discuss how to construct a barrier certificate for a co...