Differential Games, Locality, and Model Checking for FO Logic of Graphs.

Jakub Gajarsk, Maximilian Gorsky, Stephan Kreutzer

Browse the full CSL paper archive.