Daniel Stan | DeepAI

DeepAI

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

Featured Co-authors

Anthony W. Lin
16 publications
Anthony Widjaja Lin
4 publications
Oliver Markgraf
4 publications

research

∙ 05/27/2021

Learning Union of Integer Hypercubes with Queries (Technical Report)

We study the problem of learning a finite union of integer (axis-aligned...

0 Oliver Markgraf, et al. ∙

research

∙ 02/08/2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)

We present a general framework for modelling and verifying epistemic pro...

0 Daniel Stan, et al. ∙