Pierre Ohlmann

activity

20172026

most citedOn the Monniaux Problem in Abstract Interpretation

10 citations · 32 across the 19 of their papers we have counts for

collaborators

Showing cs.CCShow all

2 papers · 1 filter

cs.CC2024

A positional $Π_{3}^{0}$ -complete objective

Antonio Casares, Pierre Ohlmann, Pierre Vandenhove

We study zero-sum, turn-based games on graphs. In this note, we show the existence of a game objective that is $Π_{3}^{0}$ -complete for the Borel hierarchy and that is positiona…

cs.CC2017

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine +2

The \emph{Orbit Problem} consists of determining, given a linear transformation $A$ on $Q^{d}$ , together with vectors $x$ and $y$ , whether the orbit of $x$ under repeated ap…

A positional Π30​-complete objective

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

A positional $Π_{3}^{0}$ -complete objective