Mohammadamin Sharifi | DeepAI

DeepAI

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

Featured Co-authors

Joël Ouaknine
29 publications
David Purser
12 publications
Engel Lefaucheux
11 publications
Andreas Karrenbauer
8 publications
Hamidreza Kamkari
2 publications

research

∙ 11/08/2022

Model Checking Linear Dynamical Systems under Floating-point Rounding

We consider linear dynamical systems under floating-point rounding. In t...

0 Engel Lefaucheux, et al. ∙

research

∙ 11/03/2021

Physarum Inspired Dynamics to Solve Semi-Definite Programs

Physarum Polycephalum is a Slime mold that can solve the shortest path p...

0 Hamidreza Kamkari, et al. ∙