Liret, A., Roy, P. and Pachet, F. Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems. Proceedings of the First Workshop on Constraints in Control, Constraint Programming Conference (CP'99), Alexandria, USA, 1999

Sony CSL authors: Fran├žois Pachet, Pierre Roy

Downloads

[PDF] Adobe Acrobat PDF file

BibTeX entry

@INPROCEEDINGS { liret:99b, ADDRESS="Alexandria, USA", AUTHOR="Liret, A. and Roy, P. and Pachet, F.", BOOKTITLE="Proceedings of the First Workshop on Constraints in Control, Constraint Programming Conference (CP'99)", TITLE="Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems", YEAR="1999", }