Florian Furbach | DeepAI

DeepAI

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

Featured Co-authors

Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Adwait Godbole
8 publications
Ulrich Furbach
8 publications
Shankaranarayanan Krishna
5 publications
Christian Freksa
2 publications
Stephan Spengler
2 publications
Yacoub G. Hendi
1 publication

research

∙ 02/04/2023

Parameterized Verification under TSO with Data Types

We consider parameterized verification of systems executing according to...

0 Parosh Aziz Abdulla, et al. ∙

research

∙ 06/14/2016

Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example

In this note, we discuss and analyse a shortest path finding approach us...

0 Ulrich Furbach, et al. ∙