Semi-Competitive Differential Game Logic

Julia Butte, André Platzer

This paper introduces semi-competitive differential game logic dGLsc, which enables verification of safety-critical applications that involve interactions between two agents. In dG…