Jan-Georg Smaus | DeepAI

DeepAI

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

Featured Co-authors

Stephane Le Roux
14 publications
Christian Schilling
13 publications
Fabian Wenzelmann
1 publication
Érik Martin-Dorel
1 publication

research

∙ 01/09/2023

Implementations of two Algorithms for the Threshold Synthesis Problem

A linear pseudo-Boolean constraint (LPB) is an expression of the form a_...

0 Jan-Georg Smaus, et al. ∙

research

∙ 09/07/2017

An Existence Theorem of Nash Equilibrium in Coq and Isabelle

Nash equilibrium (NE) is a central concept in game theory. Here we prove...

0 Stephane Le Roux, et al. ∙