Frank J. Jiang | DeepAI

DeepAI

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

Featured Co-authors

Karl H. Johansson
31 publications
Dimos V. Dimarogonas
31 publications
Amr Alanwar
20 publications
Samy Amin
2 publications
Maryam Sharifi
1 publication

research

∙ 06/21/2023

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems

In this paper, we introduce a set representation called polynomial logic...

0 Amr Alanwar, et al. ∙

research

∙ 10/16/2022

Logical Zonotope: A Set Representation for Binary Vectors

In this paper, we propose a new set representation for binary vectors ca...

0 Amr Alanwar, et al. ∙

research

∙ 09/15/2021

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

This paper presents algorithms for performing data-driven reachability a...

0 Amr Alanwar, et al. ∙