Maximilian Gorsky | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Raphael Steiner
18 publications
Sebastian Wiederrecht
16 publications
Jakub Gajarsky
11 publications
Stephan Kreutzer
6 publications

research

∙ 02/23/2022

Matching Theory and Barnette's Conjecture

Barnette's Conjecture claims that all cubic, 3-connected, planar, bipart...

0 Maximilian Gorsky, et al. ∙

research

∙ 07/22/2020

Differential games, locality and model checking for FO logic of graphs

We introduce differential games for FO logic of graphs, a variant of Ehr...

0 Jakub Gajarsky, et al. ∙