Showing 1 - 11 results of 11 for search 'Lefaucheux, E', query time: 0.03s
Refine Results
-
1
Porous invariants by Lefaucheux, E, Ouaknine, J, Purser, D, Worrell, J
Published 2021Conference item -
2
The 2-dimensional constraint loop problem is decidable by Guilmant, Q, Lefaucheux, E, Ouaknine, J, Worrell, J
Published 2024Conference item -
3
Porous invariants for linear systems by Lefaucheux, E, Ouaknine, J, Purser, D, Worrell, J
Published 2024Journal article -
4
How fast can you escape a compact polytope? by D'Costa, J, Lefaucheux, E, Ouaknine, J, Worrell, J
Published 2020Conference item -
5
Bounding the escape time of a linear dynamical system over a compact semialgebraic set by D'Costa, J, Lefaucheux, E, Neumann, E, Ouaknine, J, Worrell, J
Published 2022Conference item -
6
On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets by D'Costa, J, Lefaucheux, E, Neumann, E, Ouaknine, J, Worrell, J
Published 2021Conference item -
7
On the Monniaux Problem in abstract interpretation by Fijalkow, N, Lefaucheux, E, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Published 2019Conference item -
8
What's decidable about linear loops? by Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Varonka, A, Whiteland, MA, Worrell, J
Published 2022Conference item -
9
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications by Baier, C, Funke, F, Jantsch, S, Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Whiteland, MA, Worrell, J
Published 2022Conference item -
10
On positivity and minimality for second-order holonomic sequences by Kenison, G, Klurman, O, Lefaucheux, E, Luca, F, Moree, P, Ouaknine, J, Whiteland, MA, Worrell, J
Published 2021Conference item -
11
The Orbit Problem for parametric linear dynamical systems by Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J
Published 2021Conference item