Showing 1 - 4 results of 4 for search 'Ohlmann, P', query time: 0.02s
Refine Results
-
1
Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Published 2017Journal article -
2
Semialgebraic invariant synthesis for the Kannan-Lipton Orbit Problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Published 2017Conference item -
3
Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem by Fijalkow, N, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Published 2019Journal article -
4
On the Monniaux Problem in abstract interpretation by Fijalkow, N, Lefaucheux, E, Ohlmann, P, Ouaknine, J, Pouly, A, Worrell, J
Published 2019Conference item