search line

Authors:

Anne Liret
François Pachet
Pierre Roy

Journal:

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

Publisher:

Pages:

Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems

Abstract