James Worrell | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Joël Ouaknine
3 publications
Shaull Almagor
2 publications
Nathanaël Fijalkow
2 publications
Amaury Pouly
2 publications
Edon Kelmendi
1 publication
Guillermo A. Perez
1 publication
Mahsa Shirmohammadi
1 publication
Nathann Cohen
1 publication
Florian Luca
1 publication
João Sousa-Pinto
1 publication
James Maynard
1 publication

research

∙ 08/02/2023

Skolem Meets Bateman-Horn

The Skolem Problem asks to determine whether a given integer linear recu...

0 Florian Luca, et al. ∙

research

∙ 04/24/2020

Invariants for Continuous Linear Dynamical Systems

Continuous linear dynamical systems are used extensively in mathematics,...

0 Shaull Almagor, et al. ∙

research

∙ 02/18/2019

Coverability in 1-VASS with Disequality Tests

We show that the control-state reachability problem for one-dimensional ...

0 Shaull Almagor, et al. ∙

research

∙ 02/19/2018

On the Decidability of Reachability in Linear Time-Invariant Systems

We consider the decidability of state-to-state reachability in linear ti...

0 Nathanaël Fijalkow, et al. ∙

Success!

An error occurred