Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment

Éric Marchand, Éric Rutten, Hervé Marchand, François Chaumette. Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment. I. J. Robotic Res., 17(4):418-432, 1998. [doi]

Authors

Éric Marchand

This author has not been identified. Look up 'Éric Marchand' in Google

Éric Rutten

This author has not been identified. Look up 'Éric Rutten' in Google

Hervé Marchand

This author has not been identified. Look up 'Hervé Marchand' in Google

François Chaumette

This author has not been identified. Look up 'François Chaumette' in Google