Constraint Programming for Logic controller Synthesis.

Mathieu Roisin, Pierre-Alain Yvars, Bernard Riera

Browse the full CoDIT paper archive.