Blaise Genest | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Javier Esparza
26 publications
Michael Blondin
15 publications
Nikhil Vyas
15 publications
S. Akshay
11 publications
Stefan Jaax
7 publications
Martin Helfrich
5 publications
Mihir Vahanwala
5 publications
Hugo Bazille
1 publication

research

∙ 11/04/2022

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems

The Skolem problem is a long-standing open problem in linear dynamical s...

0 S. Akshay, et al. ∙

research

∙ 10/10/2019

Succinct Population Protocols for Presburger Arithmetic

Angluin et al. proved that population protocols compute exactly the pred...

0 Michael Blondin, et al. ∙

research

∙ 04/25/2018

Distribution-based objectives for Markov Decision Processes

We consider distribution-based objectives for Markov Decision Processes ...

0 S. Akshay, et al. ∙