On the Functional Properties of Automatically Generated Fixed-Point Controllers.

Dorra Ben Khalifa, Matthieu Martel

Browse the full CoDIT paper archive.