Tim Leys | DeepAI

DeepAI

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

Featured Co-authors

Guillermo A. Perez
32 publications
Michael Blondin
15 publications
Shaull Almagor
15 publications
Filip Mazowiecki
11 publications
Arka Ghosh
7 publications
Philip Offtermatt
6 publications

research

∙ 10/03/2022

The Geometry of Reachability in Continuous Vector Addition Systems with States

We study the geometry of reachability sets of continuous vector addition...

0 Shaull Almagor, et al. ∙

research

∙ 01/28/2021

Continuous One-Counter Automata

We study the reachability problem for continuous one-counter automata, C...

0 Michael Blondin, et al. ∙