ML p(r)ior | Engel Lefaucheux

Articles of Engel Lefaucheux

Is it you?
2019-07-18

The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following questi… show more
PDF

Highlights - Most important sentences from the article

2015-07-14

Priced timed games are two-player zero-sum games played on priced timed automata (whose locations an… show more
PDF

Highlights - Most important sentences from the article