5 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Julia Butte, André Platzer
This paper introduces the three-player differential game logic dGL3, which enables the verification of hybrid games of discrete and differential equation dynamics with three player…