Nathanaël Fijalkow | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

James Worrell
4 publications
Joël Ouaknine
3 publications
Charles Paperman
2 publications
Amaury Pouly
2 publications
João Sousa-Pinto
1 publication

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. ∙

research

∙ 09/10/2017

Monadic Second-Order Logic with Arbitrary Monadic Predicates

We study Monadic Second-Order Logic (MSO) over finite words, extended wi...

0 Nathanaël Fijalkow, et al. ∙

Success!

An error occurred