@inproceedings{liret:99b, address = {Alexandria, USA},author = {Liret, Anne and Roy, Pierre and Pachet, Fran├žois},booktitle = {Proceedings of the First Workshop on Constraints in Control, Constraint Programming Conference (CP'99)},note = {music},title = {Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems},type = {inproceedings},year = {1999},url = {https://pdfs.semanticscholar.org/3b37/606ff5f7b235028436b3361952e58c136c02.pdf},}