"Constraint-Based Controller Synthesis in Non-Deterministic and Partially ..."

Cédric Pralet et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics