Leander Tentrup | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Markus N. Rabe
5 publications
Bernd Finkbeiner
3 publications
Peter Faymonville
1 publication

research

∙ 08/27/2018

Synthesis of Boolean Functions with Clausal Abstraction

Dependency quantified Boolean formulas (DQBF) is a logic admitting exist...

0 Markus N. Rabe, et al. ∙

research

∙ 03/26/2018

Encodings of Bounded Synthesis

The reactive synthesis problem is to compute a system satisfying a given...

0 Peter Faymonville, et al. ∙

Success!

An error occurred