Specifying and verifying active vision-based robotic systems with the SIGNAL environment

International Journal of Robotics Research

Volumn 17, Issue 4, 1998, Pages 418-432

  Marchand, Eric ^a   Rutten, Eric ^a   Marchand, Herve ^a   Chaumette, Francois ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CAMERAS; COLLISION AVOIDANCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER VISION; DIGITAL SIGNAL PROCESSING; FORMAL LOGIC; KINEMATICS; MOTION PLANNING; ROBOT PROGRAMMING;

ACTIVE VISION BASED ROBOT; SYNCHRONOUS LANGUAGE;

ROBOTICS;

EID: 0032047202     PISSN: 02783649     EISSN: None     Source Type: Journal    
DOI: 10.1177/027836499801700407     Document Type: Article

References (29)