Semi-competitive Differential Game Logic.

Julia Butte, Andr Platzer

Browse the full TABLEAUX paper archive.