search line

Authors:

Anne Liret
François Pachet
Pierre Roy
Year:
1999
Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems

Abstract

Journal: Proceedings of the First Workshop on Constraints in Control, Constraint Programming Conference