Irina Dragoste | DeepAI

DeepAI

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

Featured Co-authors

Christof Fetzer
24 publications
Markus Krötzsch
15 publications
Christoph Weidenbach
10 publications
Martin Bromberger
6 publications
Rasha Faqeh
5 publications
Maximilian Marx
3 publications
Larry González
2 publications
Harish K Murali
1 publication

research

∙ 01/24/2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

In a previous paper, we have shown that clause sets belonging to the Hor...

0 Martin Bromberger, et al. ∙

research

∙ 07/07/2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

The Bernays-Schönfinkel first-order logic fragment over simple linear re...

0 Martin Bromberger, et al. ∙